Package | Description |
---|---|
de.uni_due.inf.ti.raven.data.automata |
Classes to create, represent, manipulate automata.
|
de.uni_due.inf.ti.raven.data.bdd |
Classes to create, represent and manipulate binary decision diagrams (BDDs).
|
Modifier and Type | Method and Description |
---|---|
static RavenBDDPairing |
Automaton.getInterfacePairing(Automaton first,
Automaton second)
Returns a BDD pairing which pairs the the interface bits of the two
automata
first and second . |
Modifier and Type | Method and Description |
---|---|
static RavenBDDPairing |
RavenBDDPairing.makePair()
Creates a new BDD pairing.
|
Modifier and Type | Method and Description |
---|---|
RavenBDD |
RavenBDD.replace(RavenBDDPairing pairing)
Replaces the BDD nodes according to the given BDD pairing.
|