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
EdgesAutomatonMixin
and 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 specifiedstate
under any valuation.default Collection<Edge<S>>
edges(S state, BitSet valuation)
Returns the successor edges of the specifiedstate
under the givenvaluation
.default boolean
prefersLabelled()
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:Automaton
Returns all successors of the specifiedstate
.- Specified by:
successors
in 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:Automaton
Returns all successor edges of the specifiedstate
under any valuation.- Specified by:
edges
in 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: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.
-
prefersLabelled
default boolean prefersLabelled()
Description copied from interface:Automaton
Indicate 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:
prefersLabelled
in interfaceAutomaton<S,A extends OmegaAcceptance>
- Returns:
- The preferred traversal method.
-
-