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 top_down_approx : t -> StateSet.t -> Tree.t -> jump_kind
26 val init : unit -> unit