New run function based on rank2 grammars:

[SXSI/xpathcomp.git] / src / grammar2.mli

diff --git a/src/grammar2.mli b/src/grammar2.mli
index a775780..e2efc85 100644 (file)
--- a/src/grammar2.mli
+++ b/src/grammar2.mli
@@ -15,8 +15,11 @@ type tn_symbol = [ any_type ] Node.t
 
 type partial =
     Leaf of node
-  | Node of tn_symbol * partial array
+  | Node0 of tn_symbol
+  | Node1 of tn_symbol * partial
+  | Node2 of tn_symbol * partial * partial
 
+type conf = C0 | C1 | C2 | C3 | C4 | C5 | C6
 
 val parse : string -> t
 val save : t -> string -> unit
@@ -33,6 +36,7 @@ val tag : t_symbol -> Tag.t
 val start_first_child : t -> node -> node
 val start_next_sibling : t -> node -> node
 val get_rule : t -> n_symbol -> rhs
+val get_conf : rhs ->  conf
 val get_rank : rhs -> int
 val get_id1_rank : rhs -> int
 val get_id2_rank : rhs -> int