TimQu
|
ec9486e8cf
|
fixed is*Expression() methods as they have not been implemented in the corresponding subclasses before.
|
9 years ago |
Sebastian Junges
|
d246517757
|
removed src prefix in all includes
|
9 years ago |
|
Sebastian Junges
|
e1d201c85e
|
c++ code compiles again after rename
|
9 years ago |
|
Sebastian Junges
|
3a7ee7867b
|
rename files (does not compile)
|
9 years ago |
dehnert
|
3d426798b3
|
added visitor that checks for syntatical equality of expressions
Former-commit-id: b6753a4891 [formerly 2b36b42bfa]
Former-commit-id: f693de5f30
|
9 years ago |
|
dehnert
|
984abfd22b
|
proper renaming of files
Former-commit-id: 5594ddec38
|
9 years ago |
|
dehnert
|
58857d62ed
|
renamed double literal to rational literal
Former-commit-id: 7bafe79eed
|
9 years ago |
|
dehnert
|
7b2a667a9d
|
double literal now stores rational internally
Former-commit-id: c0f089b8ba
|
9 years ago |
|
dehnert
|
569b27e110
|
work towards having rational numbers instead of doubles as literals in expressions
Former-commit-id: c62f8af061
|
9 years ago |
|
dehnert
|
f5e383722f
|
Fixed use of uninitialized value. Deleted assignment operators for classes derived from BaseExpression.
Former-commit-id: 3d6250b393
|
11 years ago |
|
dehnert
|
99d9a9710d
|
Further steps to make everything work again.
Former-commit-id: 3f45a49dab
|
11 years ago |
|
dehnert
|
fff18f2789
|
Intermediate commit (refactoring expressions).
Former-commit-id: e7cc7e95c2
|
11 years ago |
|
dehnert
|
809217c359
|
Refactored some parts of expressions. In particular, visitors now can return anything they want by using boost::any.
Former-commit-id: 0f6af138ae
|
11 years ago |
David_Korzeniewski
|
83d2a1c315
|
Adapted Z3ExpressionAdapter to deletion of constant expressions. Added functionality to autocreate variables in the solver. Added function to get variables and their types from an expression.
Former-commit-id: 29f8e2fb70
|
11 years ago |
|
dehnert
|
219af9b43b
|
Removed constants from expressions. Even though PRISM has the concept of constants and variables, it currently makes no sense to distinguish them in our expression classes.
Former-commit-id: 787e921e2c
|
11 years ago |
|
dehnert
|
c6976dd8b5
|
Added some query methods for new expression classes.
Former-commit-id: 0633c7740e
|
11 years ago |
|
dehnert
|
cc625a2e00
|
Added a ton of ifndefs, because MSVC does not yet support defaulting move constructors/assignments.
Former-commit-id: 105792abac
|
11 years ago |
|
dehnert
|
7667933caf
|
First working version of explicit model generation using the new PRISM classes and expressions.
Former-commit-id: e71408cb89
|
11 years ago |
|
dehnert
|
8af52c8866
|
Finished new expression classes and corresponding functional tests.
Former-commit-id: 9268eab3a9
|
11 years ago |
|
dehnert
|
ae06c7d677
|
Commit to switch workplace.
Former-commit-id: d828f3d255
|
11 years ago |
