X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fata.mli;h=74966b1f81f3c6c02124182130fc36e3ab89b290;hb=d3db422b91ed145abd0eccb83e96c97d6431fac6;hp=356c61363f0665ecf99b9ded1b56dec34eb69613;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/ata.mli b/src/ata.mli
index 356c613..74966b1 100644
--- a/src/ata.mli
+++ b/src/ata.mli
@@ -1,27 +1,29 @@
-type t = {
-    id : int;
-    states : StateSet.t;
-    init : StateSet.t;
-    last : State.t;
-    (* Transitions of the Alternating automaton *)
-    trans : (State.t, (TagSet.t * Transition.t) list) Hashtbl.t;
-    marking_states : StateSet.t;
-    topdown_marking_states : StateSet.t;
-    bottom_states : StateSet.t;
-    true_states : StateSet.t;
-}
+type t =
+    { id : int;
+      states : StateSet.t;
+      init : StateSet.t;
+      last : State.t;
 
+    (* Transitions of the Alternating automaton *)
+      trans : (State.t, (TagSet.t * Transition.t) list) Hashtbl.t;
+      marking_states : StateSet.t;
+      topdown_marking_states : StateSet.t;
+      bottom_states : StateSet.t;
+      true_states : StateSet.t   }
 
 val print : Format.formatter -> t -> unit
 
-type jump_kind = NIL
-            | NODE
-            | STAR
-	    | JUMP_ONE of Ptset.Int.t
-	    | JUMP_MANY of Ptset.Int.t
-	    | CAPTURE_MANY of Ptset.Int.t
+type jump_kind =
+    NIL
+  | NODE
+  | STAR
+  | JUMP_ONE of Ptset.Int.t
+  | JUMP_MANY of Ptset.Int.t
+  | CAPTURE_MANY of Ptset.Int.t
 
+val print_kind : Format.formatter -> jump_kind -> unit
 
 val top_down_approx : t -> StateSet.t -> Tree.t -> jump_kind
 
 val init : unit -> unit
+val get_trans : ?attributes:TagSet.t -> t -> StateSet.t -> Tag.t -> Translist.t * StateSet.t * StateSet.t