BDD Member List

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

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