public class NFAEncoding extends BDDEncoding
BDDEncoding.StateType
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getBitType(int pos)
Returns a string indicating which information is encoded by bit of the given position
pos . |
static NFAEncoding |
getEncoding(int numberOfStates)
Returns a NFA BDD encoding for
numberOfStates different states. |
java.lang.String |
printStates(RavenBDD stateSet)
Prints a single state (seen as singleton state set) or a set of states.
|
getBit, getCurrentStateDomain, getInnerInterface, getInterfaceBit, getInterfaceEncodingBDD, getInterfaceLength, getInterfaceSize, getInterfaceSizeIsGreaterOrEqual, getInterfaceSizeIsLessOrEqual, getInterfaceSizeType, getLength, getMaximumInterface, getOuterInterface, getStateBit, getStateEncodingBDD, getStateLength, getStateType, getSuccessorStateDomain, one, toString, zero
public static final NFAEncoding getEncoding(int numberOfStates)
numberOfStates
different states. Each state will be
numbered in ascending order.numberOfStates
- the number of states of the underlying NFApublic java.lang.String getBitType(int pos)
BDDEncoding
pos
.getBitType
in class BDDEncoding
pos
- the position of the bitpublic java.lang.String printStates(RavenBDD stateSet)
BDDEncoding
printStates
in class BDDEncoding
stateSet
- the state set to be printed