EquivalenceClassState
, FrequencySelfProductSlave.State
, MasterAutomaton.MasterState
, ProductControllerSynthesis.State
public interface AutomatonState<S>
Modifier and Type | Method | Description |
---|---|---|
java.util.BitSet |
getSensitiveAlphabet() |
|
Edge<S> |
getSuccessor(java.util.BitSet valuation) |
Compute the successor of a state and return the corresponding edge.
|
@Nonnull java.util.BitSet getSensitiveAlphabet()
@Nullable Edge<S> getSuccessor(java.util.BitSet valuation)
Edge
valuation
- set of letters read.