Automaton<S,A>
, HoaPrintable
Views.ForwardingMutableAutomaton
public abstract static class Views.ForwardingAutomaton<S,A extends OmegaAcceptance,B extends OmegaAcceptance,T extends Automaton<S,B>> extends java.lang.Object implements Automaton<S,A>
Automaton.Property
HoaPrintable.HoaOption
Modifier | Constructor | Description |
---|---|---|
protected |
ForwardingAutomaton(T automaton) |
Modifier and Type | Method | Description |
---|---|---|
ValuationSetFactory |
getFactory() |
|
java.util.Set<S> |
getInitialStates() |
Returns the set of initial states, which can potentially be empty.
|
java.util.Collection<LabelledEdge<S>> |
getLabelledEdges(S state) |
Returns all successors of the specified
state . |
java.util.Set<S> |
getStates() |
Returns all states in this automaton.
|
containsState, containsStates, forEachEdge, forEachEdge, forEachLabelledEdge, forEachLabelledEdge, forEachState, getAcceptance, getEdge, getEdges, getEdges, getInitialState, getPredecessors, getSuccessor, getSuccessorMap, getSuccessors, getSuccessors, getVariables, is, size, toHoa
getName, toHoa
protected ForwardingAutomaton(T automaton)
public ValuationSetFactory getFactory()
getFactory
in interface Automaton<S,A extends OmegaAcceptance>
public java.util.Set<S> getInitialStates()
Automaton
getInitialStates
in interface Automaton<S,A extends OmegaAcceptance>
public java.util.Collection<LabelledEdge<S>> getLabelledEdges(S state)
Automaton
state
.getLabelledEdges
in interface Automaton<S,A extends OmegaAcceptance>
state
- The state.