Tcsautomataparser (p.TCSLib.0.3.doc.TCSLib.Tcsautomataparser)

exception AutomataParserException of string * int * int

exception AutomataParserCustomException of string

val parse_automaton : 
  (string -> unit) ->
  (int -> unit) ->
  (int -> string -> Tcsautomataparserinternal.alphabet_item_type -> unit) ->
  (int -> unit) ->
  (int -> string -> unit) ->
  (int -> int -> string option -> unit) ->
  (int -> unit) ->
  (int -> int -> int list -> unit) ->
  (int -> int -> (int * int) list -> unit) ->
  (int -> int -> int option -> int list -> unit) ->
  (int -> int list -> unit) ->
  (unit -> 'a) ->
  in_channel ->
  'a

type automata_type =

| NbaType of (int, int) Tcsautomata.NBA.t * int Tcsautomata.NMAFunctions.state_iterator * int Tcsautomata.NMAFunctions.alphabet_iterator
| DbaType of (int, int) Tcsautomata.DBA.t * int Tcsautomata.NMAFunctions.state_iterator * int Tcsautomata.NMAFunctions.alphabet_iterator
| NpaType of (int, int) Tcsautomata.NPA.t * int Tcsautomata.NMAFunctions.state_iterator * int Tcsautomata.NMAFunctions.alphabet_iterator
| DpaType of (int, int) Tcsautomata.DPA.t * int Tcsautomata.NMAFunctions.state_iterator * int Tcsautomata.NMAFunctions.alphabet_iterator
| NbvpaType of (int, int, int) Tcsautomata.NBVPA.t * int Tcsautomata.NMAFunctions.state_iterator * int Tcsautomata.NMVPA.nested Tcsautomata.NMAFunctions.alphabet_iterator * int Tcsautomata.NMVPAFunctions.stack_iterator
| DbvpaType of (int, int, int) Tcsautomata.DBVPA.t * int Tcsautomata.NMAFunctions.state_iterator * int Tcsautomata.DMVPA.nested Tcsautomata.NMAFunctions.alphabet_iterator * int Tcsautomata.NMVPAFunctions.stack_iterator
| NpvpaType of (int, int, int) Tcsautomata.NPVPA.t * int Tcsautomata.NMAFunctions.state_iterator * int Tcsautomata.NMVPA.nested Tcsautomata.NMAFunctions.alphabet_iterator * int Tcsautomata.NMVPAFunctions.stack_iterator
| DpvpaType of (int, int, int) Tcsautomata.DPVPA.t * int Tcsautomata.NMAFunctions.state_iterator * int Tcsautomata.DMVPA.nested Tcsautomata.NMAFunctions.alphabet_iterator * int Tcsautomata.NMVPAFunctions.stack_iterator

val parse_automaton2 : in_channel -> automata_type