public abstract class EdgeCountingEncoding extends CountingEncoding
Note: The concrete implementation of an edge-counting encoding can be found in classes extending this abstract class.
BDDEncoding.StateType
Modifier and Type | Method and Description |
---|---|
static EdgeCountingEncoding |
getDefaultEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
int divisor)
Returns the default BDD encoding for a vertex count instance with a
maximum interface size of
maximumInterface and a count of edges modulo
modNumber modNumber . |
static EdgeCountingEncoding |
getEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
int divisor,
String encodingName)
Returns the BDD encoding for a vertex count instance given by the class name
name with a maximum interface size of maximumInterface and a
modulo number of modNumber . |
getCountingType, getDivisor, getRemainderBit, getRemainderBitLength
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 EdgeCountingEncoding getDefaultEncoding(int maximumInterface, int innerInterface, int outerInterface, int divisor)
maximumInterface
and a count of edges modulo
modNumber modNumber
.maximumInterface
- size of the maximum interfaceinnerInterface
- size of the inner interfaceouterInterface
- size of the outer interfacedivisor
- the divisor modulo which edges are countedpublic static final EdgeCountingEncoding getEncoding(int maximumInterface, int innerInterface, int outerInterface, int divisor, String encodingName)
name
with a maximum interface size of maximumInterface
and a
modulo number of modNumber
. If no vertex count encoding with the
given name can be found the default encoding is returned.maximumInterface
- the maximum interface sizeinnerInterface
- size of the inner interfaceouterInterface
- size of the outer interfacedivisor
- the divisor modulo which edges are countedencodingName
- the class name of the encoding class