Tcsgameparser (p.TCSLib.0.3.doc.TCSLib.Tcsgameparser)

exception GameParserException of string * int * int

exception GameParserCustomException of string

val parse_parity_game : 
  (int -> unit) ->
  (int -> unit) ->
  (int -> int -> int -> int list -> string -> unit) ->
  (unit -> 'a) ->
  in_channel ->
  'a

val parse_explicit_pg : in_channel -> Tcsgames.explicit_pg

val parse_explicit_initpg : in_channel -> Tcsgames.explicit_initpg

val parse_parity_solution : 
  (int -> unit) ->
  (int -> int -> int option -> unit) ->
  (unit -> 'a) ->
  in_channel ->
  'a

val parse_explicit_parity_solution : 
  in_channel ->
  Tcsgames.explicit_pg_solution * Tcsgames.explicit_pg_strategy