public class ColorabilityAutomaton extends Automaton
ColorabilityEncoding
,
Serialized FormAutomaton.Type
AUTOMATON_MAIN_FILE, FINAL_STATES_FILE, INITIAL_STATES_FILE, NON_FINAL_STATES_FILE, STATES_FILE
Modifier and Type | Method and Description |
---|---|
Automaton |
clone() |
int |
getColorCount()
Returns the number of permitted colors.
|
int |
getNodeColor(RavenBDD state,
int node)
Returns the color of the
node -th interface node in the state state . |
void |
initializeEncoding() |
addComputationListener, containsInitialState, getAlphabet, getCurrentInterfaceSize, getEncoding, getFinalStates, getInitialStates, getInnerInterface, getInterfacePairing, getListener, getLogger, getMaximumInterface, getNonFinalStates, getNonFinalStates, getNumberOfFinalStates, getNumberOfInitialStates, getNumberOfNonFinalStates, getNumberOfNonFinalStates, getNumberOfStates, getNumberOfStates, getOuterInterface, getPredecessorStates, getReachableStates, getSize, getStateName, getStates, getStates, getStatesWithoutSuccessorFor, getStateTransBDDs, getSuccessorStates, getTransitionRelation, getType, isAcceptingStateSet, isApplicable, isInitialStateSet, printStates, readAutomatonFromZip, removeComputationListener, toString, writeAutomatonToZip
public int getColorCount()
public int getNodeColor(RavenBDD state, int node)
node
-th interface node in the state state
.state
- the state, either current state or successor statenode
- the index of the interface nodenode
-th nodepublic Automaton clone() throws CloneNotSupportedException
clone
in class Automaton
CloneNotSupportedException
public void initializeEncoding()
initializeEncoding
in class Automaton