(* *)
(***********************************************************************)
-(*
- Time-stamp: <Last modified on 2013-04-22 15:08:54 CEST by Kim Nguyen>
-*)
-
type predicate =
First_child
| Next_sibling
}
module Config : Hcons.S with type data = config
-
+val dummy_config : Config.t
type t = private {
id : Uid.t;
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