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

diff --git a/src/ata.mli b/src/ata.mli
index 356c613..d249e9b 100644
--- a/src/ata.mli
+++ b/src/ata.mli
@@ -1,26 +1,25 @@
-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 top_down_approx : t -> StateSet.t -> Tree.t -> jump_kind