package TCSLib
-
TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package TCSLib
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
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 ->
'atype 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