|
cudd
3.0.0
The University of Colorado Decision Diagram Package
|
|
cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Class for BDDs. More...
#include <cuddObj.hh>
Public Member Functions | |
| BDD (Capsule *cap, DdNode *bddNode) | |
| BDD (Cudd const &manager, DdNode *ddNode) | |
| BDD (const BDD &from) | |
| BDD | operator= (const BDD &right) |
| bool | operator<= (const BDD &other) const |
| bool | operator>= (const BDD &other) const |
| bool | operator< (const BDD &other) const |
| bool | operator> (const BDD &other) const |
| BDD | operator! () const |
| BDD | operator~ () const |
| BDD | operator* (const BDD &other) const |
| BDD | operator*= (const BDD &other) |
| BDD | operator& (const BDD &other) const |
| BDD | operator&= (const BDD &other) |
| BDD | operator+ (const BDD &other) const |
| BDD | operator+= (const BDD &other) |
| BDD | operator| (const BDD &other) const |
| BDD | operator|= (const BDD &other) |
| BDD | operator^ (const BDD &other) const |
| BDD | operator^= (const BDD &other) |
| BDD | operator- (const BDD &other) const |
| BDD | operator-= (const BDD &other) |
| bool | IsZero () const |
| bool | IsVar () const |
| BDD | AndAbstract (const BDD &g, const BDD &cube, unsigned int limit=0) const |
| BDD | UnderApprox (int numVars, int threshold=0, bool safe=false, double quality=1.0) const |
| BDD | OverApprox (int numVars, int threshold=0, bool safe=false, double quality=1.0) const |
| BDD | RemapUnderApprox (int numVars, int threshold=0, double quality=1.0) const |
| BDD | RemapOverApprox (int numVars, int threshold=0, double quality=1.0) const |
| BDD | BiasedUnderApprox (const BDD &bias, int numVars, int threshold=0, double quality1=1.0, double quality0=1.0) const |
| BDD | BiasedOverApprox (const BDD &bias, int numVars, int threshold=0, double quality1=1.0, double quality0=1.0) const |
| BDD | ExistAbstract (const BDD &cube, unsigned int limit=0) const |
| BDD | XorExistAbstract (const BDD &g, const BDD &cube) const |
| BDD | UnivAbstract (const BDD &cube) const |
| BDD | BooleanDiff (int x) const |
| bool | VarIsDependent (const BDD &var) const |
| double | Correlation (const BDD &g) const |
| double | CorrelationWeights (const BDD &g, double *prob) const |
| BDD | Ite (const BDD &g, const BDD &h, unsigned int limit=0) const |
| BDD | IteConstant (const BDD &g, const BDD &h) const |
| BDD | Intersect (const BDD &g) const |
| BDD | And (const BDD &g, unsigned int limit=0) const |
| BDD | Or (const BDD &g, unsigned int limit=0) const |
| BDD | Nand (const BDD &g) const |
| BDD | Nor (const BDD &g) const |
| BDD | Xor (const BDD &g) const |
| BDD | Xnor (const BDD &g, unsigned int limit=0) const |
| bool | Leq (const BDD &g) const |
| ADD | Add () const |
| BDD | Transfer (Cudd &destination) const |
| BDD | ClippingAnd (const BDD &g, int maxDepth, int direction=0) const |
| BDD | ClippingAndAbstract (const BDD &g, const BDD &cube, int maxDepth, int direction=0) const |
| BDD | Cofactor (const BDD &g) const |
| bool | VarAreSymmetric (int index1, int index2) const |
| BDD | Compose (const BDD &g, int v) const |
| BDD | Permute (int *permut) const |
| BDD | SwapVariables (std::vector< BDD > x, std::vector< BDD > y) const |
| BDD | AdjPermuteX (std::vector< BDD > x) const |
| BDD | VectorCompose (std::vector< BDD > vector) const |
| void | ApproxConjDecomp (BDD *g, BDD *h) const |
| void | ApproxDisjDecomp (BDD *g, BDD *h) const |
| void | IterConjDecomp (BDD *g, BDD *h) const |
| void | IterDisjDecomp (BDD *g, BDD *h) const |
| void | GenConjDecomp (BDD *g, BDD *h) const |
| void | GenDisjDecomp (BDD *g, BDD *h) const |
| void | VarConjDecomp (BDD *g, BDD *h) const |
| void | VarDisjDecomp (BDD *g, BDD *h) const |
| bool | IsVarEssential (int id, int phase) const |
| BDD | Constrain (const BDD &c) const |
| BDD | Restrict (const BDD &c) const |
| BDD | NPAnd (const BDD &g) const |
| std::vector< BDD > | ConstrainDecomp () const |
| std::vector< BDD > | CharToVect () const |
| BDD | LICompaction (const BDD &c) const |
| BDD | Squeeze (const BDD &u) const |
| BDD | Interpolate (const BDD &u) const |
| BDD | Minimize (const BDD &c) const |
| BDD | SubsetCompress (int nvars, int threshold) const |
| BDD | SupersetCompress (int nvars, int threshold) const |
| BDD | LiteralSetIntersection (const BDD &g) const |
| BDD | PrioritySelect (std::vector< BDD > x, std::vector< BDD > y, std::vector< BDD > z, const BDD &Pi, DD_PRFP Pifunc) const |
| BDD | CProjection (const BDD &Y) const |
| int | MinHammingDist (int *minterm, int upperBound) const |
| BDD | Eval (int *inputs) const |
| BDD | Decreasing (int i) const |
| BDD | Increasing (int i) const |
| bool | LeqUnless (const BDD &G, const BDD &D) const |
| BDD | MakePrime (const BDD &F) const |
| BDD | MaximallyExpand (const BDD &ub, const BDD &f) |
| BDD | LargestPrimeUnate (const BDD &phases) |
| BDD | SolveEqn (const BDD &Y, std::vector< BDD > &G, int **yIndex, int n) const |
| BDD | VerifySol (std::vector< BDD > const &G, int *yIndex) const |
| BDD | SplitSet (std::vector< BDD > xVars, double m) const |
| BDD | SubsetHeavyBranch (int numVars, int threshold) const |
| BDD | SupersetHeavyBranch (int numVars, int threshold) const |
| BDD | SubsetShortPaths (int numVars, int threshold, bool hardlimit=false) const |
| BDD | SupersetShortPaths (int numVars, int threshold, bool hardlimit=false) const |
| void | PrintCover () const |
| void | PrintCover (const BDD &u) const |
| int | EstimateCofactor (int i, int phase) const |
| int | EstimateCofactorSimple (int i) const |
| void | PickOneCube (char *string) const |
| BDD | PickOneMinterm (std::vector< BDD > vars) const |
| BDD | zddIsop (const BDD &U, ZDD *zdd_I) const |
| BDD | Isop (const BDD &U) const |
| ZDD | PortToZdd () const |
| void | PrintFactoredForm (char const *const *inames=0, FILE *fp=stdout) const |
| std::string | FactoredFormString (char const *const *inames=0) 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 |
| std::ostream & | operator<< (std::ostream &os, BDD const &f) |
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 BDDs.
1.8.11
