7 (* Transitions of the Alternating automaton *)
8 trans : (State.t, (TagSet.t * Transition.t) list) Hashtbl.t;
9 marking_states : StateSet.t;
10 topdown_marking_states : StateSet.t;
11 bottom_states : StateSet.t;
12 true_states : StateSet.t }
14 val print : Format.formatter -> t -> unit
20 | JUMP_ONE of Ptset.Int.t
21 | JUMP_MANY of Ptset.Int.t
22 | CAPTURE_MANY of Ptset.Int.t
24 val print_kind : Format.formatter -> jump_kind -> unit
26 val top_down_approx : t -> StateSet.t -> Tree.t -> jump_kind
28 val init : unit -> unit
29 val get_trans : ?attributes:TagSet.t -> t -> StateSet.t -> Tag.t -> Translist.t * StateSet.t * StateSet.t