Package owl.automaton
Class EmptyAutomaton<S,A extends OmegaAcceptance>
- java.lang.Object
-
- owl.automaton.AbstractImmutableAutomaton<S,A>
-
- owl.automaton.EmptyAutomaton<S,A>
-
- All Implemented Interfaces:
Automaton<S,A>
,EdgeMapAutomatonMixin<S,A>
public final class EmptyAutomaton<S,A extends OmegaAcceptance> extends AbstractImmutableAutomaton<S,A> implements EdgeMapAutomatonMixin<S,A>
-
-
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.EdgeMapAutomatonMixin
ACCESS_MODES
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description Map<Edge<S>,ValuationSet>
edgeMap(S state)
Returns a mapping from all outgoing edges to their valuations of the specifiedstate
.static <S,A extends OmegaAcceptance>
Automaton<S,A>of(ValuationSetFactory factory, A acceptance)
-
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, factory, initialStates, is, name, onlyInitialState, predecessors, size, states, successor, successors, successors
-
Methods inherited from interface owl.automaton.EdgeMapAutomatonMixin
edges, edges, edgeTree, preferredEdgeAccess
-
-
-
-
Method Detail
-
of
public static <S,A extends OmegaAcceptance> Automaton<S,A> of(ValuationSetFactory factory, A acceptance)
-
edgeMap
public Map<Edge<S>,ValuationSet> edgeMap(S state)
Description copied from interface:Automaton
Returns a mapping from all outgoing edges to their valuations of the specifiedstate
.- Specified by:
edgeMap
in interfaceAutomaton<S,A extends OmegaAcceptance>
- Parameters:
state
- The state.- Returns:
- All labelled edges of the state.
-
-