Implement missing methods like replace
There are many BDD functions like replace, which can be implemented with multiple operations. However for optimization other BDD libraries offer a specific implementation to push cash hits and reduce workload.
Especially operations which are used in CPAchecker should be implemented.
-
Existential quantification -
Replace -
Compose -
Cartesian product
Edited by Stephan Holzner