Package | Description |
---|---|
de.uni_due.inf.ti.raven.encodings |
Classes to encode the state space and the transitions of the various graph automata.
|
Modifier and Type | Method and Description |
---|---|
static NFAEncoding |
NFAEncoding.getEncoding(int numberOfStates)
Returns a NFA BDD encoding for
numberOfStates different states. |