Class for ADDs and BDDs. More...

#include <cuddObj.hh>

Inheritance diagram for ABDD:

Collaboration diagram for ABDD:

Public Member Functions
bool	operator== (const ABDD &other) const

bool	operator!= (const ABDD &other) const

void	print (int nvars, int verbosity=1) const

void	summary (int nvars, int mode=0) const

DdApaNumber	ApaCountMinterm (int nvars, int *digits) const

void	ApaPrintMinterm (int nvars, FILE *fp=stdout) const

void	ApaPrintMintermExp (int nvars, int precision=6, FILE *fp=stdout) const

void	EpdPrintMinterm (int nvars, FILE *fp=stdout) const

long double	LdblCountMinterm (int nvars) const

bool	IsOne () const

bool	IsCube () const

BDD	FindEssential () const

void	PrintTwoLiteralClauses (char *names=0, FILE fp=stdout) const

BDD	ShortestPath (int weight, int support, int *length) const

BDD	LargestCube (int *length=0) const

int	ShortestLength (int *weight=0) const

bool	EquivDC (const ABDD &G, const ABDD &D) const

double *	CofMinterm () const

void	PrintMinterm () const

double	CountMinterm (int nvars) const

double	CountPath () const

BDD	Support () const

int	SupportSize () const

std::vector< unsigned int >	SupportIndices () const

void	ClassifySupport (const ABDD &g, BDD common, BDD onlyF, BDD *onlyG) const

int	CountLeaves () const

double	Density (int nvars) const

Public Member Functions inherited from DD
	operator bool () const

DdManager *	manager () const

DdNode *	getNode () const

DdNode *	getRegularNode () const

int	nodeCount () const

unsigned int	NodeReadIndex () const

Protected Member Functions
	ABDD (Capsule cap, DdNode bddNode)

	ABDD (Cudd const &manager, DdNode *ddNode)

	ABDD (const ABDD &from)

Protected Member Functions inherited from DD
DdManager *	checkSameManager (const DD &other) const

void	checkReturnValue (const void *result) const

void	checkReturnValue (int result, int expected=1) const

	DD (Capsule cap, DdNode ddNode)

	DD (Cudd const &manager, DdNode *ddNode)

	DD (const DD &from)

Additional Inherited Members
Protected Attributes inherited from DD
Capsule *	p

DdNode *	node

Detailed Description

Class for ADDs and BDDs.

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

Public Member Functions