public class DefaultColorabilityEncoding extends ColorabilityEncoding
ColorabilityAutomaton
BDDEncoding.StateType
Modifier and Type | Method and Description |
---|---|
RavenBDD |
getBDDForColor(BDDEncoding.StateType type,
int node,
int color)
Constructs a BDD which is
true if and only if in the state state
the node -th interface node either has some color color . |
String |
getBitType(int pos)
Returns a string indicating which information is encoded by bit of the given position
pos . |
RavenBDD |
getColorBit(BDDEncoding.StateType type,
int node,
int bit)
Returns the
bit -th BDD node of the color encoding of the node -th node
for the state state . |
String |
printStates(RavenBDD stateSet)
Prints a single state (seen as singleton state set) or a set of states.
|
getColorBitLength, getColorCount, getColorNodeType, getDefaultEncoding, getEncoding
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 getColorBit(BDDEncoding.StateType type, int node, int bit)
ColorabilityEncoding
bit
-th BDD node of the color encoding of the node
-th node
for the state state
.getColorBit
in class ColorabilityEncoding
type
- the state type, either current state or successor statenode
- the position of the interface nodebit
- the index of the bit in the color encodingpublic RavenBDD getBDDForColor(BDDEncoding.StateType type, int node, int color)
ColorabilityEncoding
true
if and only if in the state state
the node
-th interface node either has some color color
.
getBDDForColor
in class ColorabilityEncoding
type
- the state type, either current state or successor statenode
- the index of the interface nodecolor
- the color of the nodenode
-th node has been coloredpublic String printStates(RavenBDD stateSet)
BDDEncoding
printStates
in class BDDEncoding
stateSet
- the state set to be printed