Package owl.translations.canonical
Class DeterministicConstructions.SafetyCoSafetyRoundRobin
- java.lang.Object
-
- owl.automaton.AbstractMemoizingAutomaton<S,A>
-
- owl.automaton.AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A>
-
- owl.translations.canonical.DeterministicConstructions.SafetyCoSafetyRoundRobin
-
- All Implemented Interfaces:
Automaton<DeterministicConstructions.BreakpointStateRejectingRoundRobin,BuchiAcceptance>
- Enclosing class:
- DeterministicConstructions
public static final class DeterministicConstructions.SafetyCoSafetyRoundRobin extends AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A>
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class owl.automaton.AbstractMemoizingAutomaton
AbstractMemoizingAutomaton.EdgeImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.EdgeMapImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.EdgesImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A extends EmersonLeiAcceptance>, AbstractMemoizingAutomaton.PartitionedEdgeTreeImplementation<A,B,C extends EmersonLeiAcceptance>
-
Nested classes/interfaces inherited from interface owl.automaton.Automaton
Automaton.Property
-
-
Field Summary
-
Fields inherited from class owl.automaton.AbstractMemoizingAutomaton
acceptance, atomicPropositions, initialStates
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description MtBdd<Edge<DeterministicConstructions.BreakpointStateRejectingRoundRobin>>edgeTreeImpl(DeterministicConstructions.BreakpointStateRejectingRoundRobin state)protected voidexplorationCompleted()booleanis(Automaton.Property property)static DeterministicConstructions.SafetyCoSafetyRoundRobinof(Factories factories, Formula formula, boolean complete, boolean deactivateSuspensionCheckOnInitialFormula)static DeterministicConstructions.SafetyCoSafetyRoundRobinof(LabelledFormula labelledFormula)-
Methods inherited from class owl.automaton.AbstractMemoizingAutomaton
acceptance, atomicPropositions, edge, edgeMap, edges, edges, edgeTree, factory, initialState, initialStates, memoizingAutomaton, states, successor, successors, successors
-
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Methods inherited from interface owl.automaton.Automaton
predecessors
-
-
-
-
Method Detail
-
of
public static DeterministicConstructions.SafetyCoSafetyRoundRobin of(LabelledFormula labelledFormula)
-
of
public static DeterministicConstructions.SafetyCoSafetyRoundRobin of(Factories factories, Formula formula, boolean complete, boolean deactivateSuspensionCheckOnInitialFormula)
-
explorationCompleted
protected void explorationCompleted()
-
edgeTreeImpl
public MtBdd<Edge<DeterministicConstructions.BreakpointStateRejectingRoundRobin>> edgeTreeImpl(DeterministicConstructions.BreakpointStateRejectingRoundRobin state)
-
is
public boolean is(Automaton.Property property)
- Specified by:
isin interfaceAutomaton<S,A extends EmersonLeiAcceptance>- Overrides:
isin classAbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance>
-
-