3 | FIRST_CHILD of StateSet.t
4 | NEXT_SIBLING of StateSet.t
5 | FIRST_ELEMENT of StateSet.t
6 | NEXT_ELEMENT of StateSet.t
7 | TAGGED_DESCENDANT of StateSet.t * Tag.t
8 | TAGGED_FOLLOWING of StateSet.t * Tag.t
9 | SELECT_DESCENDANT of StateSet.t * Ptset.Int.t * Tree.unordered_set
10 | SELECT_FOLLOWING of StateSet.t * Ptset.Int.t * Tree.unordered_set
11 | TAGGED_CHILD of StateSet.t * Tag.t
12 | TAGGED_FOLLOWING_SIBLING of StateSet.t * Tag.t
13 | SELECT_CHILD of StateSet.t * Ptset.Int.t * Tree.unordered_set
14 | SELECT_FOLLOWING_SIBLING of StateSet.t * Ptset.Int.t * Tree.unordered_set
15 | TAGGED_SUBTREE of StateSet.t * Tag.t
16 | ELEMENT_SUBTREE of StateSet.t
18 val jump_stat_init : unit -> unit
19 val jump_stat : jump -> unit
21 val print_jump : Format.formatter -> jump -> unit
23 val jump_stat_summary : Format.formatter -> unit
28 | LEFT of Translist.t * jump
29 | RIGHT of Translist.t * jump
30 | BOTH of Translist.t * jump * jump
32 type t = opcode Cache.Lvl2.t
36 val create : unit -> t
38 val stats : Format.formatter -> t -> unit
40 val find : t -> int -> StateSet.Node.t -> opcode
42 val add : t -> int -> StateSet.Node.t -> opcode -> unit
44 val compile : t -> Ata.t -> Tree.t -> TagSet.elt -> StateSet.t -> opcode
46 val get_transitions : opcode -> Translist.t