PBerger
|
68b14b3076
|
Moved BDD functionality in Sylvan to sylvan_bdd_int.h to allow reuse.
Added min/maxExistsRepresentative API to storage/dd/Add.
Former-commit-id: 45ff98b35a
|
9 years ago |
|
PBerger
|
9511ecc9e4
|
Fixed Copy&Paste Error.
Former-commit-id: 3b06dc0ba4
|
9 years ago |
|
PBerger
|
1eb3335f22
|
Mooooore template instances!
Former-commit-id: 6da42f16c5
|
9 years ago |
hbruintjes
|
ebe6775b27
|
Fix missing ValueType template arguments (which defaulted to double)
Former-commit-id: a97910eaf9
|
9 years ago |
dehnert
|
74ee726e35
|
fixed some typos
Former-commit-id: de3cd92c62
|
9 years ago |
|
dehnert
|
0b98412bb4
|
further work on making row-grouping optional
Former-commit-id: bae568660f
|
10 years ago |
sjunges
|
1e1400d68d
|
merge
Former-commit-id: eb9efc4bb2
|
10 years ago |
|
dehnert
|
0708672a68
|
removed ite for ADDs as this operation should be formed with a BDD as the first argument. as a compensation, we provide a version of ite that takes a BDD and two ADDs and returns the corresponding ADD
Former-commit-id: 720dc3a9c4
|
10 years ago |
|
dehnert
|
7f75db2790
|
ADD iterator working for sylvan. enabled more tests for sylvan. symbolic Dtmc model checker now working.
Former-commit-id: b11b2f7476
|
10 years ago |
|
dehnert
|
f2a01afbdf
|
ODD-based stuff working for Sylvan. Almost all tests passing
Former-commit-id: a6eef37d37
|
10 years ago |
|
dehnert
|
ebe9ccbb15
|
some work on DD stuff
Former-commit-id: 50ca51d264
|
10 years ago |
|
dehnert
|
fb4c103320
|
merged sylvan updates into the sylvan copy. made more tests work
Former-commit-id: 18023e03c2
|
10 years ago |
|
dehnert
|
10996b4ab5
|
more work on sylvan
Former-commit-id: c1bfcd83ee
|
10 years ago |
|
dehnert
|
31147a90d2
|
removed or and not operation on ADDs as they should conceptually be used on BDDs
Former-commit-id: 860ed79637
|
10 years ago |
|
dehnert
|
2c69232560
|
started cleaning ADD interface
Former-commit-id: f67fe7cf47
|
10 years ago |
|
dehnert
|
472851508c
|
changed return type of equal, notEqual, less, lessOrEqual, greater, greaterOrEqual to BDD since returning an ADD is logically not quite correct
Former-commit-id: 64bf8b0704
|
10 years ago |
|
dehnert
|
8194454621
|
more work on making sylvan mtbdds work
Former-commit-id: 98454b0ff4
|
10 years ago |
|
dehnert
|
d25bd3a32f
|
added 'empty' framework for sylvan-based implementation of DD abstraction layer
Former-commit-id: c0f781a515
|
10 years ago |
|
dehnert
|
009dabf2f1
|
started cleanining up
Former-commit-id: 3db6fbc1b2
|
10 years ago |
|
dehnert
|
a258d1ab48
|
restructured ODD to be independent of the DD library being used
Former-commit-id: 83f08ba203
|
10 years ago |
|
dehnert
|
19029cd905
|
functional tests compile and run again, yay!
Former-commit-id: 60d3ce16b9
|
10 years ago |
|
dehnert
|
960ef4ff65
|
same shit, different day
Former-commit-id: 495b9fd952
|
10 years ago |
|
dehnert
|
231c3ec060
|
started lifting toVector, etc. from the internal classes to the general superclasses
Former-commit-id: 0501487b22
|
10 years ago |
|
dehnert
|
f7c26fd4b1
|
more modifications needed for refactoring of DD stuff
Former-commit-id: b7b7f52231
|
10 years ago |
|
dehnert
|
8bf0f3c87e
|
apparently, changing the DD interface implies some other changes as well...
Former-commit-id: c5cedc720f
|
10 years ago |
|
dehnert
|
7fa7381047
|
trying to get the new infrastructure of the DD abstraction layer integrated into the other parts of storm
Former-commit-id: 80a6634565
|
10 years ago |
|
dehnert
|
d683e38d4a
|
started refactoring DD-interface a bit in an attempt to ease the integration of sylvan
Former-commit-id: 3a90e171b8
|
10 years ago |
