Package owl.automaton
Interface LabelledEdgesAutomatonMixin<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 LabelledEdgesAutomatonMixin<S,A extends OmegaAcceptance> extends Automaton<S,A>
Mixin interface for implementing an automaton byAutomaton.labelledEdges(Object).It is impossible to implement the incompatible sister interface
EdgesAutomatonMixinand 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<Edge<S>>edges(S state, BitSet valuation)Returns the successor edges of the specifiedstateunder the givenvaluation.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, factory, forEachEdge, forEachLabelledEdge, initialStates, is, labelledEdges, 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
-
edges
default Collection<Edge<S>> edges(S state, BitSet valuation)
Description copied from interface:AutomatonReturns the successor edges of the specifiedstateunder the givenvaluation.- Specified by:
edgesin interfaceAutomaton<S,A extends OmegaAcceptance>- Parameters:
state- The starting state of the transition.valuation- The valuation.- Returns:
- The successor edges, possibly empty.
-
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.
-
-