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.BDDOperator |
RavenBDDFactory.BDDOperator.valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static RavenBDDFactory.BDDOperator[] |
RavenBDDFactory.BDDOperator.values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
Modifier and Type | Method and Description |
---|---|
RavenBDD |
RavenBDD.applyAll(RavenBDD bdd,
RavenBDDFactory.BDDOperator operator,
RavenBDD variables)
Applies the operator
operator to this BDD and
the BDD bdd and afterwards performs an universal
quantification of the BDD nodes specified by the BDD
variables . |
RavenBDD |
RavenBDD.applyEx(RavenBDD bdd,
RavenBDDFactory.BDDOperator operator,
RavenBDD variables)
Applies the operator
operator to this BDD and
the BDD bdd and afterwards performs an existential
quantification of the BDD nodes specified by the BDD
variables . |