Package owl.automaton
Interface EdgeTreeAutomatonMixin<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>
- All Known Implementing Classes:
DeterministicConstructions.CoSafety,DeterministicConstructions.FgSafety,DeterministicConstructions.GCoSafety,DeterministicConstructions.GfCoSafety,DeterministicConstructions.Safety,DeterministicConstructions.Tracking,ImplicitNonDeterministicEdgeTreeAutomaton,LegacyFactory,NonDeterministicConstructions.CoSafety,NonDeterministicConstructions.FgSafety,NonDeterministicConstructions.GfCoSafety,NonDeterministicConstructions.Safety,NonDeterministicConstructions.Tracking,TwoPartAutomaton
public interface EdgeTreeAutomatonMixin<S,A extends OmegaAcceptance> extends Automaton<S,A>
Mixin interface for implementing an automaton byAutomaton.edgeTree(Object).It is impossible to implement the incompatible sister interface
EdgesAutomatonMixinand the compiler will reject the code, since there are conflicting defaults forAutomaton.preferredEdgeAccess().
-
-
Nested Class Summary
-
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 Modifier and Type Field Description static List<Automaton.PreferredEdgeAccess>ACCESS_MODES
-
Method Summary
All Methods Instance Methods Default Methods Modifier and Type Method Description default Map<Edge<S>,ValuationSet>edgeMap(S state)Returns a mapping from all outgoing edges to their valuations of the specifiedstate.default Set<Edge<S>>edges(S state)Returns all successor edges of the specifiedstateunder any valuation.default Set<Edge<S>>edges(S state, BitSet valuation)Returns the successor edges of the specifiedstateunder the givenvaluation.default List<Automaton.PreferredEdgeAccess>preferredEdgeAccess()Indicate if the automaton implements a fast (e.g.-
Methods inherited from interface owl.automaton.Automaton
accept, accept, accept, accept, acceptance, edge, edgeTree, factory, initialStates, is, name, onlyInitialState, predecessors, size, states, successor, successors, successors
-
-
-
-
Field Detail
-
ACCESS_MODES
static final List<Automaton.PreferredEdgeAccess> ACCESS_MODES
-
-
Method Detail
-
edgeMap
default Map<Edge<S>,ValuationSet> edgeMap(S state)
Description copied from interface:AutomatonReturns a mapping from all outgoing edges to their valuations of the specifiedstate.- Specified by:
edgeMapin interfaceAutomaton<S,A extends OmegaAcceptance>- Parameters:
state- The state.- Returns:
- All labelled edges of the state.
-
edges
default Set<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 Set<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.
-
preferredEdgeAccess
default List<Automaton.PreferredEdgeAccess> preferredEdgeAccess()
Description copied from interface:AutomatonIndicate if the automaton implements a fast (e.g. symbolic) computation of edges. Returns aListcontaining all supportedPreferredEdgeAccessordered by their preference. Meaning the element at first position (index 0) is the most preferred. Accordingly algorithms can change the use ofAutomaton.edges(Object, BitSet),Automaton.edgeMap(Object), orAutomaton.edgeTree(Object)for accessing all outgoing edges of a state. This information is also used to dispatch to the right visitor style.- Specified by:
preferredEdgeAccessin interfaceAutomaton<S,A extends OmegaAcceptance>- Returns:
- An ordered list of the traversal methods. It always contains a complete list
-
-