(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-25 15:15:01 CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-25 16:25:20 CEST by Kim Nguyen>
*)
type predicate =
unsat : StateSet.t;
todo : TransList.t;
summary : node_summary;
- mutable round : int;
}
module Config : Hcons.S with type data = config
-
+val dummy_config : Config.t
type t = private {
id : Uid.t;