cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Class for ADDs. More...
#include <cuddObj.hh>
Public Member Functions | |
ADD (Capsule *cap, DdNode *bddNode) | |
ADD (Cudd const &manager, DdNode *ddNode) | |
ADD (const ADD &from) | |
ADD | operator= (const ADD &right) |
bool | operator<= (const ADD &other) const |
bool | operator>= (const ADD &other) const |
bool | operator< (const ADD &other) const |
bool | operator> (const ADD &other) const |
ADD | operator- () const |
ADD | operator* (const ADD &other) const |
ADD | operator*= (const ADD &other) |
ADD | operator+ (const ADD &other) const |
ADD | operator+= (const ADD &other) |
ADD | operator- (const ADD &other) const |
ADD | operator-= (const ADD &other) |
ADD | operator~ () const |
ADD | operator & (const ADD &other) const |
ADD | operator &= (const ADD &other) |
ADD | operator| (const ADD &other) const |
ADD | operator|= (const ADD &other) |
bool | IsZero () const |
ADD | ExistAbstract (const ADD &cube) const |
ADD | UnivAbstract (const ADD &cube) const |
ADD | OrAbstract (const ADD &cube) const |
ADD | Plus (const ADD &g) const |
ADD | Times (const ADD &g) const |
ADD | Threshold (const ADD &g) const |
ADD | SetNZ (const ADD &g) const |
ADD | Divide (const ADD &g) const |
ADD | Minus (const ADD &g) const |
ADD | Minimum (const ADD &g) const |
ADD | Maximum (const ADD &g) const |
ADD | OneZeroMaximum (const ADD &g) const |
ADD | Diff (const ADD &g) const |
ADD | Agreement (const ADD &g) const |
ADD | Or (const ADD &g) const |
ADD | Nand (const ADD &g) const |
ADD | Nor (const ADD &g) const |
ADD | Xor (const ADD &g) const |
ADD | Xnor (const ADD &g) const |
ADD | Log () const |
ADD | FindMax () const |
ADD | FindMin () const |
ADD | IthBit (int bit) const |
ADD | ScalarInverse (const ADD &epsilon) const |
ADD | Ite (const ADD &g, const ADD &h) const |
ADD | IteConstant (const ADD &g, const ADD &h) const |
ADD | EvalConst (const ADD &g) const |
bool | Leq (const ADD &g) const |
ADD | Cmpl () const |
ADD | Negate () const |
ADD | RoundOff (int N) const |
BDD | BddThreshold (CUDD_VALUE_TYPE value) const |
BDD | BddStrictThreshold (CUDD_VALUE_TYPE value) const |
BDD | BddInterval (CUDD_VALUE_TYPE lower, CUDD_VALUE_TYPE upper) const |
BDD | BddIthBit (int bit) const |
BDD | BddPattern () const |
ADD | Cofactor (const ADD &g) const |
ADD | Compose (const ADD &g, int v) const |
ADD | Permute (int *permut) const |
ADD | SwapVariables (std::vector< ADD > x, std::vector< ADD > y) const |
ADD | VectorCompose (std::vector< ADD > vector) const |
ADD | NonSimCompose (std::vector< ADD > vector) const |
ADD | Constrain (const ADD &c) const |
ADD | Restrict (const ADD &c) const |
ADD | MatrixMultiply (const ADD &B, std::vector< ADD > z) const |
ADD | TimesPlus (const ADD &B, std::vector< ADD > z) const |
ADD | Triangle (const ADD &g, std::vector< ADD > z) const |
ADD | Eval (int *inputs) const |
bool | EqualSupNorm (const ADD &g, CUDD_VALUE_TYPE tolerance, int pr) const |
Public Member Functions inherited from ABDD | |
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 |
Friends | |
class | Cudd |
Additional Inherited Members | |
Protected Member Functions inherited from ABDD | |
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) | |
Protected Attributes inherited from DD | |
Capsule * | p |
DdNode * | node |
Class for ADDs.