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

Modifier and Type	Method	Description
MtBdd<Edge<DeterministicConstructions.BreakpointStateRejectingRoundRobin>>	edgeTreeImpl(DeterministicConstructions.BreakpointStateRejectingRoundRobin state)
protected void	explorationCompleted()
boolean	is(Automaton.Property property)
static DeterministicConstructions.SafetyCoSafetyRoundRobin	of(Factories factories, Formula formula, boolean complete, boolean deactivateSuspensionCheckOnInitialFormula)
static DeterministicConstructions.SafetyCoSafetyRoundRobin	of(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()

Overrides:

explorationCompleted in class AbstractMemoizingAutomaton<DeterministicConstructions.BreakpointStateRejectingRoundRobin,BuchiAcceptance>

edgeTreeImpl

public MtBdd<Edge<DeterministicConstructions.BreakpointStateRejectingRoundRobin>> edgeTreeImpl(DeterministicConstructions.BreakpointStateRejectingRoundRobin state)

Specified by:

edgeTreeImpl in class AbstractMemoizingAutomaton<DeterministicConstructions.BreakpointStateRejectingRoundRobin,BuchiAcceptance>

is

public boolean is(Automaton.Property property)

Specified by:

is in interface Automaton<S,A extends EmersonLeiAcceptance>

Overrides:

is in class AbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance>