-val eval_trans : t -> TransList.t
- -> StateSet.t -> StateSet.t -> StateSet.t -> StateSet.t
- -> bool -> bool -> bool -> bool -> Tree.NodeKind.t
- -> TransList.t*StateSet.t
-
-type config = {
- sat : StateSet.t;
- unsat : StateSet.t;
- todo : TransList.t;
-}
-
-val eq_config : config -> config -> bool
-
-val eval_trans2 : t -> config -> config -> config -> config
- -> bool -> bool -> bool -> bool -> Tree.NodeKind.t
- -> config