6bebb3c9d5
fix bug in rational number/function handling with sylvan
9 years ago
e8fab0718c
fixed issues in division operations of sylvan for rational numbers and rational functions (division by zero not correctly handled)
9 years ago
8f42bd2ec0
moved to new sparsepp version and made the appropriate changes
9 years ago
03ad4c2783
first version of symbolic bisimulation minimization
9 years ago
187e8bc52b
fixed two bugs related to hybrid quantitative results
9 years ago
952776a057
hybrid engine working for rational numbers
9 years ago
ee90c51b2a
cleaned up constants.cpp to finalize separation of rational functions and rational numbers
9 years ago
aaa6f13cf4
separated rational numbers and rational functions and added support for rational numbers to sylvan
9 years ago
0354c9024a
moved to new sylvan version and made everything work again
10 years ago
2e8ff870ff
completed interface of (sylvan) ADDs for storing rational functions
10 years ago
822ae6be40
Fixes
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
8b29ab079c
fixed some bugs in custom cudd functions
Former-commit-id: b73b894674
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
bc7e533d6b
Some debug,
Former-commit-id: aed81724ca
10 years ago
6ced56a0cc
More ptr fixes.
Former-commit-id: f1f01a0eec
10 years ago
1345f018fc
Fixed some issues with pointers.
Former-commit-id: a7fddc12f3
10 years ago
9e90f41608
Implemented functions for BDD -> ADD conversion and some helpers.
Former-commit-id: 78c9003366
10 years ago
e0647f34eb
Added missing template instantiation.
Added missing function implementation for sylvan OPs.
Former-commit-id: fb10555ca3
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