Package owl.automaton
Class AbstractImmutableAutomaton.NonDeterministicEdgeTreeAutomaton<S,A extends OmegaAcceptance>
- java.lang.Object
-
- owl.automaton.AbstractImmutableAutomaton<S,A>
-
- owl.automaton.AbstractImmutableAutomaton.NonDeterministicEdgeTreeAutomaton<S,A>
-
- All Implemented Interfaces:
Automaton<S,A>
,EdgeTreeAutomatonMixin<S,A>
- Direct Known Subclasses:
DeterministicConstructions.CoSafety
,DeterministicConstructions.CoSafetySafety
,DeterministicConstructions.GfCoSafety
,DeterministicConstructions.Safety
,DeterministicConstructions.SafetyCoSafety
,DeterministicConstructions.Tracking
,LegacyFactory
,NonDeterministicConstructions.CoSafety
,NonDeterministicConstructions.FgSafety
,NonDeterministicConstructions.GfCoSafety
,NonDeterministicConstructions.Safety
,NonDeterministicConstructions.Tracking
- Enclosing class:
- AbstractImmutableAutomaton<S,A extends OmegaAcceptance>
public abstract static class AbstractImmutableAutomaton.NonDeterministicEdgeTreeAutomaton<S,A extends OmegaAcceptance> extends AbstractImmutableAutomaton<S,A> implements EdgeTreeAutomatonMixin<S,A>
This class provides a skeleton implementation to create a non-deterministic on-the-fly constructed automaton that usesValuationTree
as the main representation of the transition relation.
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from class owl.automaton.AbstractImmutableAutomaton
AbstractImmutableAutomaton.NonDeterministicEdgeMapAutomaton<S,A extends OmegaAcceptance>, AbstractImmutableAutomaton.NonDeterministicEdgesAutomaton<S,A extends OmegaAcceptance>, AbstractImmutableAutomaton.NonDeterministicEdgeTreeAutomaton<S,A extends OmegaAcceptance>, AbstractImmutableAutomaton.SemiDeterministicEdgesAutomaton<S,A extends OmegaAcceptance>
-
Nested classes/interfaces inherited from interface owl.automaton.Automaton
Automaton.EdgeMapVisitor<S>, Automaton.EdgeTreeVisitor<S>, Automaton.EdgeVisitor<S>, Automaton.PreferredEdgeAccess, Automaton.Property, Automaton.Visitor<S>
-
-
Field Summary
-
Fields inherited from class owl.automaton.AbstractImmutableAutomaton
acceptance, factory, initialStates
-
Fields inherited from interface owl.automaton.EdgeTreeAutomatonMixin
ACCESS_MODES
-
-
Constructor Summary
Constructors Constructor Description NonDeterministicEdgeTreeAutomaton(ValuationSetFactory factory, Set<S> initialStates, A acceptance)
-
Method Summary
-
Methods inherited from class owl.automaton.AbstractImmutableAutomaton
accept, accept, accept, acceptance, cache, factory, initialStates, onlyInitialState, states
-
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
accept, accept, accept, accept, acceptance, edge, edgeTree, factory, initialStates, is, name, onlyInitialState, predecessors, size, states, successor, successors
-
Methods inherited from interface owl.automaton.EdgeTreeAutomatonMixin
edgeMap, edges, edges, preferredEdgeAccess, successors
-
-
-
-
Constructor Detail
-
NonDeterministicEdgeTreeAutomaton
public NonDeterministicEdgeTreeAutomaton(ValuationSetFactory factory, Set<S> initialStates, A acceptance)
-
-