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 OwlModule<OwlModule.OutputWriter>
PG_SOLVER_OUTPUT_MODULE
-
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_OUTPUT_MODULE
public static final OwlModule<OwlModule.OutputWriter> PG_SOLVER_OUTPUT_MODULE
-
-
Method Detail
-
toPgSolver
public static <S> void toPgSolver(Game<S,ParityAcceptance> game, PrintWriter output, boolean names)
-
-