AutomatonState<MasterAutomaton.MasterState>
public static final class MasterAutomaton.MasterState extends EquivalenceClassState<MasterAutomaton.MasterState>
eager
Modifier and Type | Method | Description |
---|---|---|
Edge<MasterAutomaton.MasterState> |
getSuccessor(java.util.BitSet valuation) |
Compute the successor of a state and return the corresponding edge.
|
equals, getEquivalenceClass, getSensitiveAlphabet, hashCode, toString
@Nullable public Edge<MasterAutomaton.MasterState> getSuccessor(@Nonnull java.util.BitSet valuation)
AutomatonState
Edge
valuation
- set of letters read.