ZDD Class Reference

Class for ZDDs. More...

#include <cuddObj.hh>

Inheritance diagram for ZDD:
Collaboration diagram for ZDD:

Public Member Functions

 ZDD (Capsule *cap, DdNode *bddNode)
 ZDD (const ZDD &from)
ZDD operator= (const ZDD &right)
bool operator== (const ZDD &other) const
bool operator!= (const ZDD &other) const
bool operator<= (const ZDD &other) const
bool operator>= (const ZDD &other) const
bool operator< (const ZDD &other) const
bool operator> (const ZDD &other) const
void print (int nvars, int verbosity=1) const
ZDD operator* (const ZDD &other) const
ZDD operator*= (const ZDD &other)
ZDD operator& (const ZDD &other) const
ZDD operator&= (const ZDD &other)
ZDD operator+ (const ZDD &other) const
ZDD operator+= (const ZDD &other)
ZDD operator| (const ZDD &other) const
ZDD operator|= (const ZDD &other)
ZDD operator- (const ZDD &other) const
ZDD operator-= (const ZDD &other)
int Count () const
double CountDouble () const
ZDD Product (const ZDD &g) const
ZDD UnateProduct (const ZDD &g) const
ZDD WeakDiv (const ZDD &g) const
ZDD Divide (const ZDD &g) const
ZDD WeakDivF (const ZDD &g) const
ZDD DivideF (const ZDD &g) const
double CountMinterm (int path) const
BDD PortToBdd () const
ZDD Ite (const ZDD &g, const ZDD &h) const
ZDD Union (const ZDD &Q) const
ZDD Intersect (const ZDD &Q) const
ZDD Diff (const ZDD &Q) const
ZDD DiffConst (const ZDD &Q) const
ZDD Subset1 (int var) const
ZDD Subset0 (int var) const
ZDD Change (int var) const
void PrintMinterm () const
void PrintCover () const
BDD Support () const


class Cudd

Detailed Description

Class for ZDDs.

See also:

The documentation for this class was generated from the following files:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1