public class RavenBDDFactory extends Object
RavenBDD
,
RavenBDDDomain
,
RavenBDDPairing
Modifier and Type | Class and Description |
---|---|
static class |
RavenBDDFactory.BDDOperator
Enumeration of the different BDD operations.
|
Modifier and Type | Method and Description |
---|---|
List<RavenBDDDomain> |
createDomains(int amount,
BigInteger size)
Creates a list of
amount finite BDD domains which each represents
size different values. |
static RavenBDDFactory |
getFactory()
Returns the BDD factory.
|
RavenBDD |
one()
Returns the One-BDD.
|
String |
save(StringWriter out,
BDD root)
Saves the BDD to a string.
|
int |
var2Level(int var,
BDD bdd)
Convert from a BDD variable to a BDD level.
|
int |
varNum(BDD bdd)
Returns the number of defined variables in the BDD
bdd . |
RavenBDD |
zero()
Returns the Zero-BDD.
|
public static RavenBDDFactory getFactory()
public String save(StringWriter out, BDD root)
out
- the StringWriter
to be usedroot
- the BDD to be savedpublic int varNum(BDD bdd)
Returns the number of defined variables in the BDD bdd
.
Compare to bdd_varnum.
bdd
- the BDD for which the number of variables is returnedpublic int var2Level(int var, BDD bdd)
Convert from a BDD variable to a BDD level.
Compare to bdd_var2level.
var
- the BDD variablebdd
- the BDD for which the variable is convertedpublic List<RavenBDDDomain> createDomains(int amount, BigInteger size)
amount
finite BDD domains which each represents
size
different values.amount
- the number of Finite BDD domains to be createdsize
- the size of each Finite BDD Domainpublic RavenBDD one()
public RavenBDD zero()