public final class ZielonkaGameSolver
extends Object
implements ParityGameSolver

Nested Class Summary
- Nested classes/interfaces inherited from interface owl.game.algorithms.ParityGameSolver
  ParityGameSolver.WinningRegions<S>

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`<S> boolean`	`realizable(Game<S,? extends ParityAcceptance> game)`
`<S> ParityGameSolver.WinningRegions<S>`	`solve(Game<S,? extends ParityAcceptance> game)`
`static <S> boolean`	`zielonkaRealizability(Game<S,? extends ParityAcceptance> game)`

public static <S> boolean zielonkaRealizability(Game<S,? extends ParityAcceptance> game)

public <S> boolean realizable(Game<S,? extends ParityAcceptance> game)

public <S> ParityGameSolver.WinningRegions<S> solve(Game<S,? extends ParityAcceptance> game)

Class ZielonkaGameSolver