Up – Package index » pgsolver » Library pgsolver » Parsers

Module `Parsers`

val parse_parity_game : in_channel -> Paritygame.paritygame

val parse_init_parity_game : 
  in_channel ->
  Paritygame.node * Paritygame.paritygame

val parse_solution : in_channel -> Paritygame.solution * Paritygame.strategy