public class AnotherLinkEncoding extends LinkEncoding
LinkEncoding
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 |
getConnectedNodeBit(BDDEncoding.StateType type,
int node)
Get the connected (i.e. 2nd) bit of the
node -th (starting with 0) node markings. |
RavenBDD |
getInitialNodeBit(BDDEncoding.StateType type,
int node)
Get the initial (i.e. 1st) bit of the
node -th (starting with 0) node markings. |
String |
printStates(RavenBDD stateSet)
Prints a single state (seen as singleton state set) or a set of states.
|
getConnectedNodeType, getDefaultEncoding, getEncoding, getInitialNodeType
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 String printStates(RavenBDD stateSet)
BDDEncoding
printStates
in class BDDEncoding
stateSet
- the state set to be printedpublic RavenBDD getInitialNodeBit(BDDEncoding.StateType type, int node)
node
-th (starting with 0) node markings.getInitialNodeBit
in class LinkEncoding
type
- the state type, either current state or successor statenode
- the index of the nodepublic RavenBDD getConnectedNodeBit(BDDEncoding.StateType type, int node)
node
-th (starting with 0) node markings.getConnectedNodeBit
in class LinkEncoding
type
- the state type, either current state or successor statenode
- the index of the node