public final class ParityGameSolver
extends java.lang.Object
Modifier and Type | Field | Description |
---|---|---|
static Transformer |
ZIELONKA_SOLVER |
Modifier and Type | Method | Description |
---|---|---|
static <S> boolean |
zielonkaRealizability(Game<S,ParityAcceptance> game) |
public static final Transformer ZIELONKA_SOLVER
public static <S> boolean zielonkaRealizability(Game<S,ParityAcceptance> game)