List of all members.
Detailed Description
This class defines a C++ interface to CUDD's
zero-suppressed decision diagram structure.
The purpose of this wrapper is just to provide an efficient and save way of handling the decision diagrams. It extends CCuddDD for handling ZDDs.
- Attention:
- This class is intented for internal use only. Use the highlevel classes CDDInterface<CCuddZDD>, BoolePolynomial, BooleSet, or BooleMonomial instead.
Member Typedef Documentation
Name the type, which self is inherited from.
Constructor & Destructor Documentation
Construct ZDD from manager core and node.
polybori::CCuddZDD::CCuddZDD |
( |
|
) |
[inline] |
polybori::CCuddZDD::CCuddZDD |
( |
const self & |
from |
) |
[inline] |
polybori::CCuddZDD::~CCuddZDD |
( |
|
) |
[inline] |
Member Function Documentation
int polybori::CCuddZDD::Count |
( |
|
) |
const [inline] |
Determine the number of minterms.
double polybori::CCuddZDD::CountDouble |
( |
|
) |
const [inline] |
Determine the number of minterms.
double polybori::CCuddZDD::CountMinterm |
( |
int |
path |
) |
const [inline] |
Counts minterms; takes a path specifing variables number in the support.
void polybori::CCuddZDD::deref |
( |
|
) |
[inline, protected] |
* self polybori::CCuddZDD::Ite |
( |
const self & |
g, |
|
|
const self & |
h | |
|
) |
| | const [inline] |
If-Then-Else operation using current diagram as head.
- Note:
- Preprocessor generated members
BOOST_PP_SEQ_FOR_EACH(PB_ZDD_OP, Intersect, (*)(&))
BOOST_PP_SEQ_FOR_EACH(PB_ZDD_OP, Union, (+)(|))
BOOST_PP_SEQ_FOR_EACH(PB_ZDD_OP_ASSIGN, BOOST_PP_NIL, (*)(&)(+)(|)(-))
BOOST_PP_SEQ_FOR_EACH(PB_ZDD_APPLY, const self&,
(Product)(UnateProduct)(WeakDiv)(Divide)(WeakDivF)(DivideF)
(Union)(Intersect)(Diff)(DiffConst))
BOOST_PP_SEQ_FOR_EACH(PB_ZDD_APPLY, int, (Subset1)(Subset0)(Change))
bool polybori::CCuddZDD::operator!= |
( |
const self & |
other |
) |
const [inline] |
bool polybori::CCuddZDD::operator< |
( |
const self & |
rhs |
) |
const [inline] |
bool polybori::CCuddZDD::operator<= |
( |
const self & |
other |
) |
const [inline] |
CCuddZDD & polybori::CCuddZDD::operator= |
( |
const self & |
right |
) |
[inline] |
bool polybori::CCuddZDD::operator== |
( |
const self & |
other |
) |
const [inline] |
bool polybori::CCuddZDD::operator> |
( |
const self & |
other |
) |
const [inline] |
bool polybori::CCuddZDD::operator>= |
( |
const self & |
other |
) |
const [inline] |
void polybori::CCuddZDD::print |
( |
int |
nvars, |
|
|
int |
verbosity = 1 | |
|
) |
| | const [inline] |
void polybori::CCuddZDD::PrintCover |
( |
|
) |
const [inline] |
void polybori::CCuddZDD::PrintMinterm |
( |
|
) |
const [inline] |
Friends And Related Function Documentation
The documentation for this class was generated from the following file: