(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-25 15:30:52 CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-25 16:20:41 CEST by Kim Nguyen>
*)
INCLUDE "utils.ml"
unsat : StateSet.t;
todo : TransList.t;
summary : node_summary;
- (** optimization infos,
- not taken into account during hashconsing *)
- mutable round : int;
}
module Config = Hcons.Make(struct
-let dummy_config = Config.make { sat = StateSet.empty;
- unsat = StateSet.empty;
- todo = TransList.nil;
- summary = dummy_summary;
- round = 0;
- }
+let dummy_config =
+ Config.make { sat = StateSet.empty;
+ unsat = StateSet.empty;
+ todo = TransList.nil;
+ summary = dummy_summary
+ }
let create s ss =