Package owl.automaton
Class AbstractImmutableAutomaton.SemiDeterministicEdgesAutomaton<S,A extends OmegaAcceptance>
- java.lang.Object
-
- owl.automaton.AbstractImmutableAutomaton<S,A>
-
- owl.automaton.AbstractImmutableAutomaton.SemiDeterministicEdgesAutomaton<S,A>
-
- All Implemented Interfaces:
Automaton<S,A>
,EdgesAutomatonMixin<S,A>
- Enclosing class:
- AbstractImmutableAutomaton<S,A extends OmegaAcceptance>
public abstract static class AbstractImmutableAutomaton.SemiDeterministicEdgesAutomaton<S,A extends OmegaAcceptance> extends AbstractImmutableAutomaton<S,A> implements EdgesAutomatonMixin<S,A>
This class provides a skeleton implementation to create a semi-deterministic on-the-fly constructed automaton.
-
-
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.EdgesAutomatonMixin
ACCESS_MODES
-
-
Constructor Summary
Constructors Constructor Description SemiDeterministicEdgesAutomaton(ValuationSetFactory factory, Set<S> initialStates, A acceptance)
-
Method Summary
All Methods Instance Methods Abstract Methods Concrete Methods Modifier and Type Method Description abstract Edge<S>
edge(S state, BitSet valuation)
Returns the successor edge of the specifiedstate
under the givenvaluation
.Set<Edge<S>>
edges(S state, BitSet valuation)
Returns the successor edges of the specifiedstate
under the givenvaluation
.boolean
is(Automaton.Property property)
-
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, factory, initialStates, name, onlyInitialState, predecessors, size, states, successor, successors, successors
-
Methods inherited from interface owl.automaton.EdgesAutomatonMixin
edgeMap, edges, edgeTree, preferredEdgeAccess
-
-
-
-
Constructor Detail
-
SemiDeterministicEdgesAutomaton
public SemiDeterministicEdgesAutomaton(ValuationSetFactory factory, Set<S> initialStates, A acceptance)
-
-
Method Detail
-
edge
public abstract Edge<S> edge(S state, BitSet valuation)
Description copied from interface:Automaton
Returns the successor edge of the specifiedstate
under the givenvaluation
. Returns some edge if there is a non-deterministic choice in this state for the specified valuation.If you want to check if this is the unique edge use the
Automaton.edges(Object, BitSet)
method.- Specified by:
edge
in interfaceAutomaton<S,A extends OmegaAcceptance>
- Parameters:
state
- The starting state of the transition.valuation
- The valuation.- Returns:
- A successor edge or
null
if none. - See Also:
Automaton.edgeMap(Object)
-
edges
public final Set<Edge<S>> edges(S state, BitSet valuation)
Description copied from interface:Automaton
Returns the successor edges of the specifiedstate
under the givenvaluation
.- Specified by:
edges
in interfaceAutomaton<S,A extends OmegaAcceptance>
- Parameters:
state
- The starting state of the transition.valuation
- The valuation.- Returns:
- The successor edges, possibly empty.
-
is
public final boolean is(Automaton.Property property)
- Specified by:
is
in interfaceAutomaton<S,A extends OmegaAcceptance>
-
-