public class DefaultVertexCoverEncoding extends VertexCoverEncoding
VertexCountingAutomaton
BDDEncoding.StateType
Modifier and Type | Method and Description |
---|---|
String |
getBitType(int pos)
Returns a string indicating which information is encoded by bit of the given position
pos . |
RavenBDD |
getMembershipBit(BDDEncoding.StateType type,
int node)
Returns a BDD which encodes that the
node -th node of the interface
is a member of the vertex cover. |
RavenBDD |
getUndefinedNode(BDDEncoding.StateType type,
int node)
Returns a BDD which encodes that in state
state the node -th interface node
is not defined if and only if the BDD is true . |
RavenBDD |
getVertexCoverSizeBit(BDDEncoding.StateType type,
int pos)
Returns a BDD which encodes in state
state the pos -th bit of the
current size of the vertex cover. |
String |
printStates(RavenBDD stateSet)
Prints a single state (seen as singleton state set) or a set of states.
|
getDefaultEncoding, getEncoding, getMembershipNodeType, getVertexCoverBitLength, getVertexCoverSize, getVertexCoverSizeType
getBit, getCurrentStateDomain, getInnerInterface, getInterfaceBit, getInterfaceEncodingBDD, getInterfaceLength, getInterfaceSize, getInterfaceSizeIsGreaterOrEqual, getInterfaceSizeIsLessOrEqual, getInterfaceSizeType, getLength, getMaximumInterface, getOuterInterface, getStateBit, getStateEncodingBDD, getStateLength, getStateType, getSuccessorStateDomain, one, toString, zero
public String getBitType(int pos)
BDDEncoding
pos
.getBitType
in class BDDEncoding
pos
- the position of the bitpublic RavenBDD getMembershipBit(BDDEncoding.StateType type, int node)
VertexCoverEncoding
node
-th node of the interface
is a member of the vertex cover.getMembershipBit
in class VertexCoverEncoding
type
- the state type, either current state or successor statenode
- the position of the interface nodepublic RavenBDD getUndefinedNode(BDDEncoding.StateType type, int node)
VertexCoverEncoding
state
the node
-th interface node
is not defined if and only if the BDD is true
.getUndefinedNode
in class VertexCoverEncoding
type
- the state type, either current state or successor statenode
- the position of the interface nodepublic RavenBDD getVertexCoverSizeBit(BDDEncoding.StateType type, int pos)
VertexCoverEncoding
state
the pos
-th bit of the
current size of the vertex cover.getVertexCoverSizeBit
in class VertexCoverEncoding
type
- the state type, either current state or successor statepos
- the position of the bitpublic String printStates(RavenBDD stateSet)
BDDEncoding
printStates
in class BDDEncoding
stateSet
- the state set to be printed