NewBdd::Man Member List

This is the complete list of members for NewBdd::Man, including all inherited members.

And(lit x, lit y)	NewBdd::Man	inline
Bvar2Lit(bvar a) const	NewBdd::Man	inline
Bvar2Lit(bvar a, bool c) const	NewBdd::Man	inline
Const0() const	NewBdd::Man	inline
Const1() const	NewBdd::Man	inline
CountNodes()	NewBdd::Man	inline
CountNodes(std::vector< lit > const &vLits)	NewBdd::Man	inline
DecRef(lit x)	NewBdd::Man	inline
Else(lit x) const	NewBdd::Man	inline
ElseOfBvar(bvar a) const	NewBdd::Man	inline
Gbc()	NewBdd::Man	inline
GetNumVars() const	NewBdd::Man	inline
GetOrdering(std::vector< int > &Var2Level_)	NewBdd::Man	inline
IncRef(lit x)	NewBdd::Man	inline
IsConst0(lit x) const	NewBdd::Man	inline
IsConst1(lit x) const	NewBdd::Man	inline
IthVar(var v) const	NewBdd::Man	inline
Level(lit x) const	NewBdd::Man	inline
Lit2Bvar(lit x) const	NewBdd::Man	inline
LitIrregular(lit x) const	NewBdd::Man	inline
LitIsCompl(lit x) const	NewBdd::Man	inline
LitIsEq(lit x, lit y) const	NewBdd::Man	inline
LitNot(lit x) const	NewBdd::Man	inline
LitNotCond(lit x, bool c) const	NewBdd::Man	inline
LitRegular(lit x) const	NewBdd::Man	inline
Man(int nVars_, Param p)	NewBdd::Man	inline
OneCount(lit x) const	NewBdd::Man	inline
Or(lit x, lit y)	NewBdd::Man	inline
PrintStats()	NewBdd::Man	inline
Ref(lit x) const	NewBdd::Man	inline
RefOfBvar(bvar a) const	NewBdd::Man	inline
RemoveRefIfUnused()	NewBdd::Man	inline
Reorder()	NewBdd::Man	inline
Resize()	NewBdd::Man	inline
ResizeUnique(var v)	NewBdd::Man	inline
SetRef(std::vector< lit > const &vLits)	NewBdd::Man	inline
Then(lit x) const	NewBdd::Man	inline
ThenOfBvar(bvar a) const	NewBdd::Man	inline
TurnOffReo()	NewBdd::Man	inline
TurnOnReo(int nReo_=0, std::vector< lit > const *vLits=NULL)	NewBdd::Man	inline
Var(lit x) const	NewBdd::Man	inline
VarOfBvar(bvar a) const	NewBdd::Man	inline
~Man()	NewBdd::Man	inline