Package owl.game.algorithms

Class ParityGameSolver.WinningRegions<S>

java.lang.Object

owl.game.algorithms.ParityGameSolver.WinningRegions<S>

Enclosing interface:

ParityGameSolver

public static final class ParityGameSolver.WinningRegions<S>
extends Object

Method Summary

Modifier and Type	Method	Description
static <S> ParityGameSolver.WinningRegions<S>	of(Set<S> region, Game.Owner owner)
Set<S>	playerEven()
Set<S>	playerOdd()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

playerEven

public Set<S> playerEven()

playerOdd

public Set<S> playerOdd()

of

public static <S> ParityGameSolver.WinningRegions<S> of(Set<S> region,
                                                        Game.Owner owner)