ABC: A System for Sequential Synthesis and Verification
 
Loading...
Searching...
No Matches
rrr::NewBdd::Man Member List

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

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