|
cudd
3.0.0
The University of Colorado Decision Diagram Package
|
|
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.
1.8.11
