-
Erwan Jahier authored
Parent-Version: 0.47 Version-Log: Add support for (boolean and numeric) if-then-else. Remove the eval.ml module as the replacement of pre and input vars is now done in Solver.formula_to_bdd. Add a new module gne.ml that provides a garded normal expressions data structure that is used to handle if-then-elses. Also introduce a new field to env_state called bdd_tbl_global which is used to cache the result of formula_to_bdd for bdds that do not depend on pre nor input vars. The field bdd_tbl which cache the other reults is now cleared at each step because it is useless to store results that depends on pre and inputs. Project-Description: Lurette
1c7769db