public class DefaultMaximumBoundEncoding extends BoundEncoding
MaximumVertexAutomaton
,
MaximumEdgeAutomaton
BoundEncoding.Type
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 . |
int |
getBound()
Returns the bound.
|
RavenBDD |
getValueBit(BDDEncoding.StateType type,
int pos)
Returns a BDD which encodes the
pos -th bit of the value of the node/edge counter. |
String |
printStates(RavenBDD stateSet)
Prints a single state (seen as singleton state set) or a set of states.
|
getBoundBitLength, getBoundType, getDefaultMaximumEncoding, getDefaultMinimumEncoding, 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 getValueBit(BDDEncoding.StateType type, int pos)
BoundEncoding
pos
-th bit of the value of the node/edge counter.getValueBit
in class BoundEncoding
type
- the state type, either current state or successor statepos
- the position of the value bitpublic int getBound()
getBound
in class BoundEncoding
public String printStates(RavenBDD stateSet)
BDDEncoding
printStates
in class BDDEncoding
stateSet
- the state set to be printed