Package | Description |
---|---|
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 RavenBDDFactory |
RavenBDDFactory.getFactory()
Returns the BDD factory.
|