Package owl.automaton
Class Views.AutomatonView<S,A extends OmegaAcceptance>
- java.lang.Object
-
- owl.automaton.AbstractAutomaton<S,A>
-
- owl.automaton.ImplicitCachedStatesAutomaton<S,A>
-
- owl.automaton.Views.AutomatonView<S,A>
-
- All Implemented Interfaces:
Automaton<S,A>
- Enclosing class:
- Views
public static class Views.AutomatonView<S,A extends OmegaAcceptance> extends ImplicitCachedStatesAutomaton<S,A>
-
-
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>
-
-
Field Summary
-
Fields inherited from class owl.automaton.AbstractAutomaton
acceptance, factory, initialStates
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description Collection<Edge<S>>edges(S state)Returns all successor edges of the specifiedstateunder any valuation.Collection<Edge<S>>edges(S state, BitSet valuation)Returns the successor edges of the specifiedstateunder the givenvaluation.booleanis(Automaton.Property property)Collection<LabelledEdge<S>>labelledEdges(S state)Returns all labelled edges of the specifiedstate.booleanprefersLabelled()Indicate if the automaton implements a fast computation (e.g.Set<S>successors(S state)Returns all successors of the specifiedstate.-
Methods inherited from class owl.automaton.AbstractAutomaton
acceptance, factory, initialStates
-
Methods inherited from interface owl.automaton.Automaton
accept, edge, forEachEdge, forEachLabelledEdge, name, onlyInitialState, predecessors, size, successor, successors
-
Methods inherited from class owl.automaton.ImplicitCachedStatesAutomaton
accept, accept, cache, states
-
-
-
-
Method Detail
-
prefersLabelled
public 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.- Returns:
- The preferred traversal method.
-
edges
public Collection<Edge<S>> edges(S state, BitSet valuation)
Description copied from interface:AutomatonReturns the successor edges of the specifiedstateunder the givenvaluation.- Parameters:
state- The starting state of the transition.valuation- The valuation.- Returns:
- The successor edges, possibly empty.
-
edges
public Collection<Edge<S>> edges(S state)
Description copied from interface:AutomatonReturns all successor edges of the specifiedstateunder any valuation.- Parameters:
state- The starting state of the edges.- Returns:
- The set of edges originating from
state
-
labelledEdges
public Collection<LabelledEdge<S>> labelledEdges(S state)
Description copied from interface:AutomatonReturns all labelled edges of the specifiedstate.- Parameters:
state- The state.- Returns:
- All labelled edges of the state.
-
successors
public Set<S> successors(S state)
Description copied from interface:AutomatonReturns all successors of the specifiedstate.- Parameters:
state- The starting state of the transition.- Returns:
- The successor set.
-
is
public boolean is(Automaton.Property property)
-
-