NewTt::Man Member List

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

And(lit x, lit y)	NewTt::Man	inline
Bvar2Lit(bvar a) const	NewTt::Man	inline
Const0() const	NewTt::Man	inline
Const1() const	NewTt::Man	inline
DecRef(lit x)	NewTt::Man	inline
Gbc()	NewTt::Man	inline
GetNumVars() const	NewTt::Man	inline
IncRef(lit x)	NewTt::Man	inline
IsConst0(lit x) const	NewTt::Man	inline
IsConst1(lit x) const	NewTt::Man	inline
IthVar(int v) const	NewTt::Man	inline
Lit2Bvar(lit x) const	NewTt::Man	inline
LitIsCompl(lit x) const	NewTt::Man	inline
LitIsEq(lit x, lit y) const	NewTt::Man	inline
LitNot(lit x) const	NewTt::Man	inline
LitNotCond(lit x, bool c) const	NewTt::Man	inline
Man(int nVars, Param p)	NewTt::Man	inline
OneCount(lit x) const	NewTt::Man	inline
Or(lit x, lit y)	NewTt::Man	inline
PrintNode(lit x) const	NewTt::Man	inline
Ref(lit x) const	NewTt::Man	inline
RemoveRefIfUnused()	NewTt::Man	inline
Reorder()	NewTt::Man	inline
Resize()	NewTt::Man	inline
SetRef(std::vector< lit > const &vLits)	NewTt::Man	inline
TurnOffReo()	NewTt::Man	inline