f2e581b3df
rational search for symbolic linear equation solvers
9 years ago
187e8bc52b
fixed two bugs related to hybrid quantitative results
9 years ago
952776a057
hybrid engine working for rational numbers
10 years ago
aaa6f13cf4
separated rational numbers and rational functions and added support for rational numbers to sylvan
10 years ago
2e8ff870ff
completed interface of (sylvan) ADDs for storing rational functions
10 years ago
da69e8d9b7
Cherry-picked changes.
10 years ago
c9f2eef826
Added functionality for replacing leaves in SRF MTBDDs.
Former-commit-id: d7af779036
10 years ago
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
10 years ago
4fff7b39ef
Added template instanziation for storm::RationalFunction.
Added a test for Prism AbstractPrograms with storm::RationalFunction.
Former-commit-id: 5a696149cb
10 years ago
0717ffe053
Added AND_EXISTS to sylvan+RationalFunction
Former-commit-id: 7b462145cf
10 years ago
58eb54926c
Fixed Sylvan bugs.
Added a lot of debugging options and output, controlled by #define's.
Added more template specializations for storm::RationalFunction.
Former-commit-id: 416c32d196
10 years ago
9e90f41608
Implemented functions for BDD -> ADD conversion and some helpers.
Former-commit-id: 78c9003366
10 years ago
ca65cecbfd
Fixed a few of Sylvans nasty habits.
Former-commit-id: e965a8f613
10 years ago
c8262a3022
Added function for retrieving the ID of the custom leaves.
Former-commit-id: 615cacf3b9
10 years ago
a73c48880c
Initial commit.
The basic Implementation compiles. No tests yet.
Former-commit-id: 60b6d0f892
10 years ago
dehnert
Philipp Berger