Automaton<S,A>
, HoaPrintable
public class StreamingAutomaton<S,A extends OmegaAcceptance> extends java.lang.Object implements Automaton<S,A>
Automaton.Property
HoaPrintable.HoaOption
Modifier and Type | Method | Description |
---|---|---|
A |
getAcceptance() |
Returns the acceptance condition of this automaton.
|
Edge<S> |
getEdge(S state,
java.util.BitSet valuation) |
Returns the successor edge of the specified
state under the given valuation . |
java.util.Set<Edge<S>> |
getEdges(S state) |
Returns all successor edges of the specified
state under any valuation. |
java.util.Set<Edge<S>> |
getEdges(S state,
java.util.BitSet valuation) |
Returns the successor edges of the specified
state under the given valuation . |
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.
|
S |
getSuccessor(S state,
java.util.BitSet valuation) |
|
java.util.Set<S> |
getSuccessors(S state) |
|
java.util.Set<S> |
getSuccessors(S state,
java.util.BitSet valuation) |
|
boolean |
is(Automaton.Property property) |
|
void |
toHoa(jhoafparser.consumer.HOAConsumer consumer,
java.util.EnumSet<HoaPrintable.HoaOption> options) |
containsState, containsStates, forEachEdge, forEachEdge, forEachLabelledEdge, forEachLabelledEdge, forEachState, getInitialState, getPredecessors, getSuccessorMap, getVariables, size
getName, toHoa
public A getAcceptance()
Automaton
getAcceptance
in interface Automaton<S,A extends OmegaAcceptance>
@Nullable public S getSuccessor(S state, java.util.BitSet valuation)
getSuccessor
in interface Automaton<S,A extends OmegaAcceptance>
public java.util.Set<S> getSuccessors(S state)
getSuccessors
in interface Automaton<S,A extends OmegaAcceptance>
public java.util.Set<S> getSuccessors(S state, java.util.BitSet valuation)
getSuccessors
in interface Automaton<S,A extends OmegaAcceptance>
@Nullable public Edge<S> getEdge(S state, java.util.BitSet valuation)
Automaton
Returns the successor edge of the specified state
under the given valuation
.
Returns some edge if there is a non-deterministic choice in this state for the specified
valuation.
If you want to check if this is the unique edge use the getEdges() method.
getEdge
in interface Automaton<S,A extends OmegaAcceptance>
state
- The starting state of the transition.valuation
- The valuation.null
if none.Automaton.getLabelledEdges(Object)
public java.util.Set<Edge<S>> getEdges(S state)
Automaton
state
under any valuation.getEdges
in interface Automaton<S,A extends OmegaAcceptance>
state
- The starting state of the edges.state
public java.util.Set<Edge<S>> getEdges(S state, java.util.BitSet valuation)
Automaton
state
under the given valuation
.getEdges
in interface Automaton<S,A extends OmegaAcceptance>
state
- The starting state of the transition.valuation
- The valuation.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.public java.util.Set<S> getStates()
Automaton
getStates
in interface Automaton<S,A extends OmegaAcceptance>
public boolean is(Automaton.Property property)
is
in interface Automaton<S,A extends OmegaAcceptance>
public void toHoa(jhoafparser.consumer.HOAConsumer consumer, java.util.EnumSet<HoaPrintable.HoaOption> options)
toHoa
in interface Automaton<S,A extends OmegaAcceptance>
toHoa
in interface HoaPrintable