public class VertexCoverAutomaton 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 |
getMaximumVertexCoverSize()
Returns the maximum size of the vertex cover.
|
void |
initializeEncoding() |
boolean |
isInVertexCover(RavenBDD state,
int node)
Returns
true if and only if in the state state the node -th
interface is in the vertex cover. |
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 getMaximumVertexCoverSize()
public boolean isInVertexCover(RavenBDD state, int node)
true
if and only if in the state state
the node
-th
interface is in the vertex cover.state
- the state, either current state or successor statenode
- the index of the interface nodetrue
if the node is in the vertex cover, false
otherwisepublic void initializeEncoding()
initializeEncoding
in class Automaton