public class DefaultEdgeCountingEncoding extends EdgeCountingEncoding
EdgeCountingAutomaton
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 |
getRemainderBit(BDDEncoding.StateType type,
int pos)
Returns a BDD which encodes in state
state the pos -th bit of the
remainder. |
String |
printStates(RavenBDD stateSet)
Prints a single state (seen as singleton state set) or a set of states.
|
getDefaultEncoding, getEncoding
getCountingType, getDivisor, getRemainderBitLength
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 getRemainderBit(BDDEncoding.StateType type, int pos)
CountingEncoding
state
the pos
-th bit of the
remainder.getRemainderBit
in class CountingEncoding
type
- the state type, either current state or successor statepos
- the index of the bit in the encodingpublic String printStates(RavenBDD stateSet)
BDDEncoding
printStates
in class BDDEncoding
stateSet
- the state set to be printed