geisserf / lemon-dd

Library for Edge-valued MONoid-based decision diagrams.
Boost Software License 1.0
2 stars 0 forks source link

Allow complex conditional effects #10

Open geisserf opened 5 years ago

geisserf commented 5 years ago

Issue imported from old repository.

Currently, the effect of a conditional effect is a single variable assignment, e.g. (condition -> x=2). We could generalize this and allow more complex effects such as (condition -> x = x+1).