Package owl.game.algorithms
Class ParityGameSolver
- java.lang.Object
-
- owl.game.algorithms.ParityGameSolver
-
public final class ParityGameSolver extends Object
-
-
Field Summary
Fields Modifier and Type Field Description static Transformer
ZIELONKA_SOLVER
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <S> boolean
zielonkaRealizability(Game<S,ParityAcceptance> game)
-
-
-
Field Detail
-
ZIELONKA_SOLVER
public static final Transformer ZIELONKA_SOLVER
-
-
Method Detail
-
zielonkaRealizability
public static <S> boolean zielonkaRealizability(Game<S,ParityAcceptance> game)
-
-