CAL  3.0.0
An External Memory Decision Diagram Library
BDD Member List

This is the complete list of members for BDD, including all inherited members.

And(const BDD &g) constBDDinline
BDD(Cal_BddManager bddManager, Cal_Bdd bdd)BDDinlineprotected
BDD()BDDinline
BDD(const BDD &other)BDDinline
BDD(BDD &&other)BDDinline
Cofactor(const BDD &c) constBDDinline
Compose(const BDD &g, const BDD &h) constBDDinline
Constant enum valueBDD
DependsOn(const BDD &var) constBDDinline
Diff(const BDD &g) constBDDinline
Else() constBDDinline
FunctionPrint(std::string &name) constBDDinline
FunctionProfile() constBDDinline
Id() constBDDinline
Id_t typedefBDD
Identity() constBDDinline
If() constBDDinline
Implies(const BDD &g) constBDDinline
Index() constBDDinline
Index_t typedefBDD
Intersects(const BDD &g) constBDDinline
IsConst() constBDDinline
IsCube() constBDDinline
IsEqualTo(const BDD &other) constBDDinline
IsNull() constBDDinline
IsOne() constBDDinline
IsZero() constBDDinline
ITE(const BDD &g, const BDD &h) constBDDinline
Nand(const BDD &g) constBDDinline
Negvar enum valueBDD
NonTerminal enum valueBDD
Nor(const BDD &g) constBDDinline
Not() constBDDinline
One enum valueBDD
operator!=(const BDD &other) constBDDinline
operator&(const BDD &other) constBDDinline
operator&=(const BDD &other)BDDinline
operator-(const BDD &other) constBDDinline
operator-=(const BDD &other)BDDinline
operator=(const BDD &other)BDDinline
operator=(BDD &&other)BDDinline
operator==(const BDD &other) constBDDinline
operator^(const BDD &other) constBDDinline
operator^=(const BDD &other)BDDinline
operator|(const BDD &other) constBDDinline
operator|=(const BDD &other)BDDinline
operator~() constBDDinline
Or(const BDD &g) constBDDinline
Overflow enum valueBDD
Posvar enum valueBDD
Print(FILE *fp=stdout) constBDDinline
PrintFunctionProfile(int lineLength=79, FILE *fp=stdout) constBDDinline
PrintProfile(int lineLength=79, FILE *fp=stdout) constBDDinline
Profile(bool negout=true) constBDDinline
Reduce(const BDD &c) constBDDinline
RefCount() constBDDinline
Regular() constBDDinline
Satisfy() constBDDinline
SatisfyingFraction() constBDDinline
SatisfySupport() constBDDinline
Size(bool negout=true) constBDDinline
SwapVars(const BDD &g, const BDD &h) constBDDinline
Then() constBDDinline
ToString() constBDDinline
Type() constBDDinline
Type_t enum nameBDD
Xnor(const BDD &g) constBDDinline
Xor(const BDD &g) constBDDinline
Zero enum valueBDD
~BDD()BDDinline