Class ParityGameSolver


  • public final class ParityGameSolver
    extends Object
    • Field Detail

      • ZIELONKA_SOLVER

        public static final Transformer ZIELONKA_SOLVER
    • Method Detail

      • zielonkaRealizability

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