Package owl.automaton
Interface EdgesAutomatonMixin<S,A extends OmegaAcceptance>
-
- Type Parameters:
S- the type of the states of the automatonA- the type of the omega-acceptance condition of the automaton
- All Superinterfaces:
Automaton<S,A>
public interface EdgesAutomatonMixin<S,A extends OmegaAcceptance> extends Automaton<S,A>
Mixin interface for implementing an automaton byAutomaton.edges(Object, BitSet).It is impossible to implement the incompatible sister interface
LabelledEdgesAutomatonMixinand the compiler will reject the code, since there are conflicting defaults forAutomaton.prefersLabelled().
-
-
Nested Class Summary
-
Nested classes/interfaces inherited from interface owl.automaton.Automaton
Automaton.EdgeVisitor<S>, Automaton.HybridVisitor<S>, Automaton.LabelledEdgeVisitor<S>, Automaton.Property, Automaton.Visitor<S>
-
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default Collection<Edge<S>>edges(S state)Returns all successor edges of the specifiedstateunder any valuation.default Collection<LabelledEdge<S>>labelledEdges(S state)Returns all labelled edges of the specifiedstate.default booleanprefersLabelled()Indicate if the automaton implements a fast computation (e.g.default Set<S>successors(S state)Returns all successors of the specifiedstate.-
Methods inherited from interface owl.automaton.Automaton
accept, accept, accept, acceptance, edge, edges, factory, forEachEdge, forEachLabelledEdge, initialStates, is, name, onlyInitialState, predecessors, size, states, successor, successors
-
-
-
-
Method Detail
-
successors
default Set<S> successors(S state)
Description copied from interface:AutomatonReturns all successors of the specifiedstate.- Specified by:
successorsin interfaceAutomaton<S,A extends OmegaAcceptance>- Parameters:
state- The starting state of the transition.- Returns:
- The successor set.
-
edges
default Collection<Edge<S>> edges(S state)
Description copied from interface:AutomatonReturns all successor edges of the specifiedstateunder any valuation.- Specified by:
edgesin interfaceAutomaton<S,A extends OmegaAcceptance>- Parameters:
state- The starting state of the edges.- Returns:
- The set of edges originating from
state
-
labelledEdges
default Collection<LabelledEdge<S>> labelledEdges(S state)
Description copied from interface:AutomatonReturns all labelled edges of the specifiedstate.- Specified by:
labelledEdgesin interfaceAutomaton<S,A extends OmegaAcceptance>- Parameters:
state- The state.- Returns:
- All labelled edges of the state.
-
prefersLabelled
default boolean prefersLabelled()
Description copied from interface:AutomatonIndicate if the automaton implements a fast computation (e.g. symbolic) of labelled edges. Returnstrue, if the automaton advices to useAutomaton.labelledEdges(Object)andAutomaton.accept(LabelledEdgeVisitor)for accessing all outgoing edges of a state.- Specified by:
prefersLabelledin interfaceAutomaton<S,A extends OmegaAcceptance>- Returns:
- The preferred traversal method.
-
-