src/ata.mli

   1 type t =
   2     { id : int;
   3       states : StateSet.t;
   4       init : StateSet.t;
   5       last : State.t;
   6
   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   }
  13
  14 val print : Format.formatter -> t -> unit
  15
  16 type jump_kind =
  17     NIL
  18   | NODE
  19   | STAR
  20   | JUMP_ONE of Ptset.Int.t
  21   | JUMP_MANY of Ptset.Int.t
  22   | CAPTURE_MANY of Ptset.Int.t
  23
  24 val top_down_approx : t -> StateSet.t -> Tree.t -> jump_kind
  25
  26 val init : unit -> unit
  27 val get_trans : ?attributes:TagSet.t -> t -> StateSet.t -> Tag.t -> Translist.t * StateSet.t * StateSet.t