X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fl2JIT.mli;h=3e1641daaeeba83b5705fbdd38667af53ffeca1e;hb=798507d52a5c11a6d852740056464241538fe76a;hp=9575f34a228da92d36f476a95fcd1a73da92c7af;hpb=4b52da1a20a4fe031930bb96d2ca46bec06dc529;p=SXSI%2Fxpathcomp.git

diff --git a/src/l2JIT.mli b/src/l2JIT.mli
index 9575f34..3e1641d 100644
--- a/src/l2JIT.mli
+++ b/src/l2JIT.mli
@@ -6,12 +6,12 @@ type jump =
   | NEXT_ELEMENT of StateSet.t
   | TAGGED_DESCENDANT of StateSet.t * Tag.t
   | TAGGED_FOLLOWING of StateSet.t * Tag.t
-  | SELECT_DESCENDANT of StateSet.t * Ptset.Int.t * Tree.unordered_set
-  | SELECT_FOLLOWING of StateSet.t * Ptset.Int.t * Tree.unordered_set
+  | SELECT_DESCENDANT of StateSet.t * Ptset.Int.t * Tree.tag_list
+  | SELECT_FOLLOWING of StateSet.t * Ptset.Int.t * Tree.tag_list
   | TAGGED_CHILD of StateSet.t * Tag.t
-  | TAGGED_FOLLOWING_SIBLING of StateSet.t * Tag.t
-  | SELECT_CHILD of StateSet.t * Ptset.Int.t * Tree.unordered_set
-  | SELECT_FOLLOWING_SIBLING of StateSet.t * Ptset.Int.t * Tree.unordered_set
+  | TAGGED_SIBLING of StateSet.t * Tag.t
+  | SELECT_CHILD of StateSet.t * Ptset.Int.t * Tree.tag_list
+  | SELECT_SIBLING of StateSet.t * Ptset.Int.t * Tree.tag_list
   | TAGGED_SUBTREE of StateSet.t * Tag.t
   | ELEMENT_SUBTREE of StateSet.t
 
@@ -23,11 +23,11 @@ val print_jump : Format.formatter -> jump -> unit
 val jump_stat_summary : Format.formatter -> unit
 
 type opcode =
-    CACHE of unit
   | RETURN of unit
   | LEFT of Translist.t * jump
   | RIGHT of Translist.t * jump
   | BOTH of Translist.t * jump * jump
+  | CACHE of unit
 
 type t = opcode Cache.Lvl2.t
 
@@ -35,7 +35,7 @@ val dummy : opcode
 
 val create : unit -> t
 
-val stats : Format.formatter -> t -> unit
+(*val stats : Format.formatter -> t -> unit *)
 
 val find : t -> int -> StateSet.Node.t -> opcode
 
@@ -44,3 +44,4 @@ val add : t -> int -> StateSet.Node.t -> opcode -> unit
 val compile : t -> Ata.t -> Tree.t -> TagSet.elt -> StateSet.t -> opcode
 
 val get_transitions : opcode -> Translist.t
+val init : unit -> unit