AutomatonState<ProductControllerSynthesis.State>
public class ProductControllerSynthesis.State extends ImmutableObject implements AutomatonState<ProductControllerSynthesis.State>
Modifier and Type | Method | Description |
---|---|---|
protected ProductControllerSynthesis.State |
constructState(MasterAutomaton.MasterState primaryState,
com.google.common.collect.ImmutableMap<UnaryModalOperator,FrequencySelfProductSlave.State> secondaryStates) |
|
protected boolean |
equals2(ImmutableObject o) |
|
java.util.BitSet |
getSensitiveAlphabet() |
|
ValuationSet |
getSucceedTransitions(owl.translations.frequency.FrequencyMojmirSlaveAutomaton mojmir,
int rank,
java.util.Set<UnaryModalOperator> finalStates) |
|
Edge<ProductControllerSynthesis.State> |
getSuccessor(java.util.BitSet valuation) |
Compute the successor of a state and return the corresponding edge.
|
protected int |
hashCodeOnce() |
|
java.lang.String |
toString() |
equals, hashCode
protected ProductControllerSynthesis.State constructState(MasterAutomaton.MasterState primaryState, com.google.common.collect.ImmutableMap<UnaryModalOperator,FrequencySelfProductSlave.State> secondaryStates)
protected boolean equals2(ImmutableObject o)
equals2
in class ImmutableObject
@Nonnull public java.util.BitSet getSensitiveAlphabet()
getSensitiveAlphabet
in interface AutomatonState<ProductControllerSynthesis.State>
public ValuationSet getSucceedTransitions(owl.translations.frequency.FrequencyMojmirSlaveAutomaton mojmir, int rank, java.util.Set<UnaryModalOperator> finalStates)
@Nullable public Edge<ProductControllerSynthesis.State> getSuccessor(@Nonnull java.util.BitSet valuation)
AutomatonState
Edge
getSuccessor
in interface AutomatonState<ProductControllerSynthesis.State>
valuation
- set of letters read.protected int hashCodeOnce()
hashCodeOnce
in class ImmutableObject
public java.lang.String toString()
toString
in class java.lang.Object