ClassProject::ManagerInterface Member List

This is the complete list of members for ClassProject::ManagerInterface, including all inherited members.

and2(BDD_ID a, BDD_ID b)=0	ClassProject::ManagerInterface	pure virtual
coFactorFalse(BDD_ID f, BDD_ID x)=0	ClassProject::ManagerInterface	pure virtual
coFactorFalse(BDD_ID f)=0	ClassProject::ManagerInterface	pure virtual
coFactorTrue(BDD_ID f, BDD_ID x)=0	ClassProject::ManagerInterface	pure virtual
coFactorTrue(BDD_ID f)=0	ClassProject::ManagerInterface	pure virtual
createVar(const std::string &label)=0	ClassProject::ManagerInterface	pure virtual
False()=0	ClassProject::ManagerInterface	pure virtual
findNodes(const BDD_ID &root, std::set< BDD_ID > &nodes_of_root)=0	ClassProject::ManagerInterface	pure virtual
findVars(const BDD_ID &root, std::set< BDD_ID > &vars_of_root)=0	ClassProject::ManagerInterface	pure virtual
getTopVarName(const BDD_ID &root)=0	ClassProject::ManagerInterface	pure virtual
isConstant(BDD_ID f)=0	ClassProject::ManagerInterface	pure virtual
isVariable(BDD_ID x)=0	ClassProject::ManagerInterface	pure virtual
ite(BDD_ID i, BDD_ID t, BDD_ID e)=0	ClassProject::ManagerInterface	pure virtual
nand2(BDD_ID a, BDD_ID b)=0	ClassProject::ManagerInterface	pure virtual
neg(BDD_ID a)=0	ClassProject::ManagerInterface	pure virtual
nor2(BDD_ID a, BDD_ID b)=0	ClassProject::ManagerInterface	pure virtual
or2(BDD_ID a, BDD_ID b)=0	ClassProject::ManagerInterface	pure virtual
topVar(BDD_ID f)=0	ClassProject::ManagerInterface	pure virtual
True()=0	ClassProject::ManagerInterface	pure virtual
uniqueTableSize()=0	ClassProject::ManagerInterface	pure virtual
visualizeBDD(std::string filepath, BDD_ID &root)=0	ClassProject::ManagerInterface	pure virtual
xnor2(BDD_ID a, BDD_ID b)=0	ClassProject::ManagerInterface	pure virtual
xor2(BDD_ID a, BDD_ID b)=0	ClassProject::ManagerInterface	pure virtual