Package owl.game.algorithms
Class ZielonkaGameSolver
- java.lang.Object
-
- owl.game.algorithms.ZielonkaGameSolver
-
- All Implemented Interfaces:
ParityGameSolver
public final class ZielonkaGameSolver extends Object implements ParityGameSolver
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface owl.game.algorithms.ParityGameSolver
ParityGameSolver.WinningRegions<S>
-
-
Constructor Summary
Constructors Constructor Description ZielonkaGameSolver()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description <S> booleanrealizable(Game<S,? extends ParityAcceptance> game)<S> ParityGameSolver.WinningRegions<S>solve(Game<S,? extends ParityAcceptance> game)static <S> booleanzielonkaRealizability(Game<S,? extends ParityAcceptance> game)
-
-
-
Method Detail
-
zielonkaRealizability
public static <S> boolean zielonkaRealizability(Game<S,? extends ParityAcceptance> game)
-
realizable
public <S> boolean realizable(Game<S,? extends ParityAcceptance> game)
- Specified by:
realizablein interfaceParityGameSolver
-
solve
public <S> ParityGameSolver.WinningRegions<S> solve(Game<S,? extends ParityAcceptance> game)
- Specified by:
solvein interfaceParityGameSolver
-
-