Package owl.translations.canonical
Class DeterministicConstructions.CoSafety
- java.lang.Object
-
- owl.automaton.AbstractMemoizingAutomaton<S,A>
-
- owl.automaton.AbstractMemoizingAutomaton.EdgeTreeImplementation<S,A>
-
- owl.translations.canonical.DeterministicConstructions.CoSafety
-
- All Implemented Interfaces:
Automaton<EquivalenceClass,BuchiAcceptance>
- Enclosing class:
- DeterministicConstructions
public static final class DeterministicConstructions.CoSafety 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 protected Edge<EquivalenceClass>
buildEdge(EquivalenceClass successor)
boolean
is(Automaton.Property property)
static DeterministicConstructions.CoSafety
of(Factories factories, Formula formula)
-
Methods inherited from class owl.automaton.AbstractMemoizingAutomaton
acceptance, atomicPropositions, edge, edgeMap, edges, edges, edgeTree, explorationCompleted, 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.CoSafety of(Factories factories, Formula formula)
-
buildEdge
@Nullable protected Edge<EquivalenceClass> buildEdge(EquivalenceClass successor)
-
is
public boolean is(Automaton.Property property)
- Specified by:
is
in interfaceAutomaton<S,A extends EmersonLeiAcceptance>
- Overrides:
is
in classAbstractMemoizingAutomaton<S,A extends EmersonLeiAcceptance>
-
-