Class SymbolicDRA2DPAConstruction


  • public abstract class SymbolicDRA2DPAConstruction
    extends Object
    • Constructor Detail

      • SymbolicDRA2DPAConstruction

        public SymbolicDRA2DPAConstruction()
    • Method Detail

      • tryToParity

        public Optional<SymbolicAutomaton<ParityAcceptance>> tryToParity()
        Converts the acceptance condition acceptance() to a parity condition for the automaton automaton() or returns Optional.Empty if not possible. It is only possible to do this conversion if there exists an equivalent Streett acceptance condition on this same automaton.
        Returns:
        a symbolic parity automaton with the structure of automaton(), or Optional.Empty if automaton() has no equivalent Streett acceptance condition.
      • toParity

        public SymbolicAutomaton<ParityAcceptance> toParity()
        Like tryToParity() but expects that there is an equivalent Streett acceptance condition. Only use if an equivalent Streett acceptance condition is guaranteed for automaton()
        Returns:
        a symbolic parity automaton with the structure of automaton()