(***********************************************************************)
(*
- Time-stamp: <Last modified on 2013-04-24 23:19:41 CEST by Kim Nguyen>
+ Time-stamp: <Last modified on 2013-04-25 15:15:01 CEST by Kim Nguyen>
*)
type predicate =
val create : StateSet.t -> StateSet.t -> t
val reset : t -> unit
+val full_reset : t -> unit
val get_trans : t -> QNameSet.elt -> StateSet.t -> TransList.t