Package owl.game.algorithms
Class OinkGameSolver
- java.lang.Object
-
- owl.game.algorithms.OinkGameSolver
-
- All Implemented Interfaces:
ParityGameSolver
public final class OinkGameSolver extends Object implements ParityGameSolver
-
-
Nested Class Summary
Nested Classes Modifier and Type Class Description static class
OinkGameSolver.OinkExecutionException
Abstracts potential errors when executing oink to solve a game.-
Nested classes/interfaces inherited from interface owl.game.algorithms.ParityGameSolver
ParityGameSolver.WinningRegions<S>
-
-
Constructor Summary
Constructors Constructor Description OinkGameSolver()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static boolean
checkOinkExecutable()
<S> boolean
realizable(Game<S,? extends ParityAcceptance> game)
<S> ParityGameSolver.WinningRegions<S>
solve(Game<S,? extends ParityAcceptance> game)
static <S> Map<Integer,S>
toOinkInstance(Game<S,? extends ParityAcceptance> game, PrintWriter writer)
-
-
-
Method Detail
-
checkOinkExecutable
public static boolean checkOinkExecutable()
-
toOinkInstance
public static <S> Map<Integer,S> toOinkInstance(Game<S,? extends ParityAcceptance> game, PrintWriter writer)
-
realizable
public <S> boolean realizable(Game<S,? extends ParityAcceptance> game)
- Specified by:
realizable
in interfaceParityGameSolver
-
solve
public <S> ParityGameSolver.WinningRegions<S> solve(Game<S,? extends ParityAcceptance> game)
- Specified by:
solve
in interfaceParityGameSolver
-
-