Package owl.game.algorithms
Interface ParityGameSolver
-
- All Known Implementing Classes:
OinkGameSolver,ZielonkaGameSolver
public interface ParityGameSolver
-
-
Nested Class Summary
Nested Classes Modifier and Type Interface Description static classParityGameSolver.WinningRegions<S>
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description <S> booleanrealizable(Game<S,? extends ParityAcceptance> game)<S> ParityGameSolver.WinningRegions<S>solve(Game<S,? extends ParityAcceptance> game)
-
-
-
Method Detail
-
realizable
<S> boolean realizable(Game<S,? extends ParityAcceptance> game)
-
solve
<S> ParityGameSolver.WinningRegions<S> solve(Game<S,? extends ParityAcceptance> game)
-
-