Package owl.game
Class GameUtil
- java.lang.Object
-
- owl.game.GameUtil
-
public final class GameUtil extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static OwlModuleParser.WriterParser
PG_SOLVER_CLI
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S> void
toPgSolver(Game<S,ParityAcceptance> game, PrintWriter output, boolean names)
-
-
-
Field Detail
-
PG_SOLVER_CLI
public static final OwlModuleParser.WriterParser PG_SOLVER_CLI
-
-
Method Detail
-
toPgSolver
public static <S> void toPgSolver(Game<S,ParityAcceptance> game, PrintWriter output, boolean names)
-
-