Class for ADDs and BDDs.
More...
#include <cuddObj.hh>
|
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 |
|
| operator bool () const |
|
DdManager * | manager () const |
|
DdNode * | getNode () const |
|
DdNode * | getRegularNode () const |
|
int | nodeCount () const |
|
unsigned int | NodeReadIndex () const |
|
|
| ABDD (Capsule *cap, DdNode *bddNode) |
|
| ABDD (Cudd const &manager, DdNode *ddNode) |
|
| ABDD (const ABDD &from) |
|
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) |
|
Class for ADDs and BDDs.
- See also
- Cudd ADD BDD
The documentation for this class was generated from the following files: