Package owl.automaton.symbolic
Class SymbolicDRA2DPAConstruction
- java.lang.Object
-
- owl.automaton.symbolic.SymbolicDRA2DPAConstruction
-
public abstract class SymbolicDRA2DPAConstruction extends Object
-
-
Constructor Summary
Constructors Constructor Description SymbolicDRA2DPAConstruction()
-
Method Summary
All Methods Static Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract SymbolicAutomaton<?>automaton()static SymbolicDRA2DPAConstructionof(SymbolicAutomaton<?> automaton)SymbolicAutomaton<ParityAcceptance>toParity()LiketryToParity()but expects that there is an equivalent Streett acceptance condition.Optional<SymbolicAutomaton<ParityAcceptance>>tryToParity()Converts the acceptance conditionacceptance()to a parity condition for the automatonautomaton()or returnsOptional.Emptyif not possible.
-
-
-
Method Detail
-
automaton
public abstract SymbolicAutomaton<?> automaton()
-
of
public static SymbolicDRA2DPAConstruction of(SymbolicAutomaton<?> automaton)
-
tryToParity
public Optional<SymbolicAutomaton<ParityAcceptance>> tryToParity()
Converts the acceptance conditionacceptance()to a parity condition for the automatonautomaton()or returnsOptional.Emptyif 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(), orOptional.Emptyifautomaton()has no equivalent Streett acceptance condition.
-
toParity
public SymbolicAutomaton<ParityAcceptance> toParity()
LiketryToParity()but expects that there is an equivalent Streett acceptance condition. Only use if an equivalent Streett acceptance condition is guaranteed forautomaton()- Returns:
- a symbolic parity automaton with the structure of
automaton()
-
-