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 ProductEncoding |
ProductEncoding.getEncoding(Automaton first,
Automaton second)
Returns the default BDD encoding for a product of two BDD encodings.
|