public class DominatingSetAutomaton extends Automaton
Automaton.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 |
getMaximumDominatingSetSize()
Returns the maximum size of the dominating set.
|
void |
initializeEncoding() |
boolean |
isInDominatingSet(RavenBDD state,
int node)
Returns
true if and only if the interface at position node is a node of the
dominating set. |
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 Automaton clone() throws CloneNotSupportedException
clone
in class Automaton
CloneNotSupportedException
public int getMaximumDominatingSetSize()
public boolean isInDominatingSet(RavenBDD state, int node)
true
if and only if the interface at position node
is a node of the
dominating set.state
- the state, either current state or successor statenode
- the index of the nodetrue
if the interface node is node of the dominating set, false
otherwisepublic void initializeEncoding()
initializeEncoding
in class Automaton