public final class GameUtil
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
static OwlModuleParser.WriterParser |
PG_SOLVER_CLI |
Modifier and Type | Method | Description |
---|---|---|
static <S> void |
toPgSolver(Game<S,ParityAcceptance> game,
java.io.PrintWriter output,
boolean names) |
public static final OwlModuleParser.WriterParser PG_SOLVER_CLI
public static <S> void toPgSolver(Game<S,ParityAcceptance> game, java.io.PrintWriter output, boolean names)