public class AnotherDominatingSetEncoding extends DominatingSetEncoding
DominatingSetAutomaton
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 |
getDominationBit(BDDEncoding.StateType type,
int node)
Returns a BDD which encodes that in state
state the node -th interface node
is dominated by some node of the dominating set if and only if the BDD is true . |
RavenBDD |
getDominationSizeBit(BDDEncoding.StateType type,
int pos)
Returns a BDD which encodes in state
state the pos -th bit of the
current size of the dominating set. |
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 dominating set. |
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 . |
String |
printStates(RavenBDD stateSet)
Prints a single state (seen as singleton state set) or a set of states.
|
getDefaultEncoding, getDominationBitLength, getDominationNodeType, getDominationNumber, getDominationSetSizeType, getEncoding, getMembershipNodeType
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)
DominatingSetEncoding
node
-th node of the interface
is a member of the dominating set.getMembershipBit
in class DominatingSetEncoding
type
- the state type, either current state or successor statenode
- the index of the interface nodepublic RavenBDD getDominationBit(BDDEncoding.StateType type, int node)
DominatingSetEncoding
state
the node
-th interface node
is dominated by some node of the dominating set if and only if the BDD is true
.getDominationBit
in class DominatingSetEncoding
type
- the state type, either current state or successor statenode
- the position of the interface nodepublic RavenBDD getUndefinedNode(BDDEncoding.StateType type, int node)
DominatingSetEncoding
state
the node
-th interface node
is not defined if and only if the BDD is true
.getUndefinedNode
in class DominatingSetEncoding
type
- the state type, either current state or successor statenode
- the position of the interface nodepublic RavenBDD getDominationSizeBit(BDDEncoding.StateType type, int pos)
DominatingSetEncoding
state
the pos
-th bit of the
current size of the dominating set.getDominationSizeBit
in class DominatingSetEncoding
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