VDS Class Project: ClassProject::ManagerInterface Class Reference

VDS Class Project

Loading...

Searching...

No Matches

#include <ManagerInterface.h>

Inheritance diagram for ClassProject::ManagerInterface:

Public Member Functions
virtual BDD_ID	createVar (const std::string &label)=0

virtual const BDD_ID &	True ()=0

virtual const BDD_ID &	False ()=0

virtual bool	isConstant (BDD_ID f)=0

virtual bool	isVariable (BDD_ID x)=0

virtual BDD_ID	topVar (BDD_ID f)=0

virtual BDD_ID	ite (BDD_ID i, BDD_ID t, BDD_ID e)=0

virtual std::string	getTopVarName (const BDD_ID &root)=0

virtual BDD_ID	coFactorTrue (BDD_ID f, BDD_ID x)=0

virtual BDD_ID	coFactorFalse (BDD_ID f, BDD_ID x)=0

virtual BDD_ID	coFactorTrue (BDD_ID f)=0

virtual BDD_ID	coFactorFalse (BDD_ID f)=0

virtual BDD_ID	neg (BDD_ID a)=0

virtual void	visualizeBDD (std::string filepath, BDD_ID &root)=0

virtual BDD_ID	and2 (BDD_ID a, BDD_ID b)=0

virtual BDD_ID	or2 (BDD_ID a, BDD_ID b)=0

virtual BDD_ID	xor2 (BDD_ID a, BDD_ID b)=0

virtual BDD_ID	nand2 (BDD_ID a, BDD_ID b)=0

virtual BDD_ID	nor2 (BDD_ID a, BDD_ID b)=0

virtual BDD_ID	xnor2 (BDD_ID a, BDD_ID b)=0

virtual void	findNodes (const BDD_ID &root, std::set< BDD_ID > &nodes_of_root)=0

virtual void	findVars (const BDD_ID &root, std::set< BDD_ID > &vars_of_root)=0

virtual size_t	uniqueTableSize ()=0

Member Function Documentation

◆ and2()

virtual BDD_ID ClassProject::ManagerInterface::and2	(	BDD_ID	a,
		BDD_ID	b )

pure virtual

Implemented in ClassProject::Manager.

◆ coFactorFalse() [1/2]

virtual BDD_ID ClassProject::ManagerInterface::coFactorFalse ( BDD_ID f )

pure virtual

Implemented in ClassProject::Manager.

◆ coFactorFalse() [2/2]

virtual BDD_ID ClassProject::ManagerInterface::coFactorFalse	(	BDD_ID	f,
		BDD_ID	x )

pure virtual

Implemented in ClassProject::Manager.

◆ coFactorTrue() [1/2]

virtual BDD_ID ClassProject::ManagerInterface::coFactorTrue ( BDD_ID f )

pure virtual

Implemented in ClassProject::Manager.

◆ coFactorTrue() [2/2]

virtual BDD_ID ClassProject::ManagerInterface::coFactorTrue	(	BDD_ID	f,
		BDD_ID	x )

pure virtual

Implemented in ClassProject::Manager.

◆ createVar()

virtual BDD_ID ClassProject::ManagerInterface::createVar ( const std::string & label )

pure virtual

Implemented in ClassProject::Manager.

◆ False()

virtual const BDD_ID & ClassProject::ManagerInterface::False ( )

pure virtual

Implemented in ClassProject::Manager.

◆ findNodes()

virtual void ClassProject::ManagerInterface::findNodes	(	const BDD_ID &	root,
		std::set< BDD_ID > &	nodes_of_root )

pure virtual

Implemented in ClassProject::Manager.

◆ findVars()

virtual void ClassProject::ManagerInterface::findVars	(	const BDD_ID &	root,
		std::set< BDD_ID > &	vars_of_root )

pure virtual

Implemented in ClassProject::Manager.

◆ getTopVarName()

virtual std::string ClassProject::ManagerInterface::getTopVarName ( const BDD_ID & root )

pure virtual

Implemented in ClassProject::Manager.

◆ isConstant()

virtual bool ClassProject::ManagerInterface::isConstant ( BDD_ID f )

pure virtual

Implemented in ClassProject::Manager.

◆ isVariable()

virtual bool ClassProject::ManagerInterface::isVariable ( BDD_ID x )

pure virtual

Implemented in ClassProject::Manager.

◆ ite()

virtual BDD_ID ClassProject::ManagerInterface::ite	(	BDD_ID	i,
		BDD_ID	t,
		BDD_ID	e )

pure virtual

Implemented in ClassProject::Manager.

◆ nand2()

virtual BDD_ID ClassProject::ManagerInterface::nand2	(	BDD_ID	a,
		BDD_ID	b )

pure virtual

Implemented in ClassProject::Manager.

◆ neg()

virtual BDD_ID ClassProject::ManagerInterface::neg ( BDD_ID a )

pure virtual

Implemented in ClassProject::Manager.

◆ nor2()

virtual BDD_ID ClassProject::ManagerInterface::nor2	(	BDD_ID	a,
		BDD_ID	b )

pure virtual

Implemented in ClassProject::Manager.

◆ or2()

virtual BDD_ID ClassProject::ManagerInterface::or2	(	BDD_ID	a,
		BDD_ID	b )

pure virtual

Implemented in ClassProject::Manager.

◆ topVar()

virtual BDD_ID ClassProject::ManagerInterface::topVar ( BDD_ID f )

pure virtual

Implemented in ClassProject::Manager.

◆ True()

virtual const BDD_ID & ClassProject::ManagerInterface::True ( )

pure virtual

Implemented in ClassProject::Manager.

◆ uniqueTableSize()

virtual size_t ClassProject::ManagerInterface::uniqueTableSize ( )

pure virtual

Implemented in ClassProject::Manager.

◆ visualizeBDD()

virtual void ClassProject::ManagerInterface::visualizeBDD	(	std::string	filepath,
		BDD_ID &	root )

pure virtual

Implemented in ClassProject::Manager.

◆ xnor2()

virtual BDD_ID ClassProject::ManagerInterface::xnor2	(	BDD_ID	a,
		BDD_ID	b )

pure virtual

Implemented in ClassProject::Manager.

◆ xor2()

virtual BDD_ID ClassProject::ManagerInterface::xor2	(	BDD_ID	a,
		BDD_ID	b )

pure virtual

Implemented in ClassProject::Manager.

The documentation for this class was generated from the following file:

src/ManagerInterface.h