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 class	ParityGameSolver.WinningRegions<S>

Method Summary

Modifier and Type	Method	Description
<S> boolean	realizable(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)