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 BoundEncoding.Type |
BoundEncoding.Type.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static BoundEncoding.Type[] |
BoundEncoding.Type.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
static BoundEncoding |
BoundEncoding.getEncoding(int maximumInterface,
int innerInterface,
int outerInterface,
int bound,
BoundEncoding.Type type,
String encodingName)
Returns the BDD encoding for a bound instance given by the class name
name with a maximum interface size of maximumInterface and a
modulo number of modNumber . |