+module Config = Hcons.Make(struct
+ type t = config
+ let equal c d =
+ c.sat == d.sat && c.unsat == d.unsat && c.todo == d.todo
+ let hash c =
+ HASHINT3((c.sat.StateSet.id :> int),
+ (c.unsat.StateSet.id :> int),
+ (c.todo.TransList.id :> int))
+end
+)