public abstract class CountingEncoding extends BDDEncoding
EdgeCountingEncoding
,
VertexCountingEncoding
,
EdgeCountingAutomaton
,
VertexCountingAutomaton
BDDEncoding.StateType
Modifier and Type | Method and Description |
---|---|
static String |
getCountingType()
Returns the type string indicating the counting bits.
|
int |
getDivisor()
Returns the divisor.
|
abstract RavenBDD |
getRemainderBit(BDDEncoding.StateType type,
int pos)
Returns a BDD which encodes in state
state the pos -th bit of the
remainder. |
int |
getRemainderBitLength()
Returns the number of bits used to encode the remainder.
|
getBit, getBitType, getCurrentStateDomain, getInnerInterface, getInterfaceBit, getInterfaceEncodingBDD, getInterfaceLength, getInterfaceSize, getInterfaceSizeIsGreaterOrEqual, getInterfaceSizeIsLessOrEqual, getInterfaceSizeType, getLength, getMaximumInterface, getOuterInterface, getStateBit, getStateEncodingBDD, getStateLength, getStateType, getSuccessorStateDomain, one, printStates, toString, zero
public static final String getCountingType()
public abstract RavenBDD getRemainderBit(BDDEncoding.StateType type, int pos)
state
the pos
-th bit of the
remainder.type
- the state type, either current state or successor statepos
- the index of the bit in the encodingpublic final int getDivisor()
public final int getRemainderBitLength()