|
cudd
3.0.0
The University of Colorado Decision Diagram Package
|
Class for CUDD managers. More...
#include <cuddObj.hh>
Public Member Functions | |
| Cudd (unsigned int numVars=0, unsigned int numVarsZ=0, unsigned int numSlots=CUDD_UNIQUE_SLOTS, unsigned int cacheSize=CUDD_CACHE_SLOTS, unsigned long maxMemory=0, PFC defaultHandler=defaultError) | |
| Cudd (const Cudd &x) | |
| PFC | setHandler (PFC newHandler) const |
| PFC | getHandler (void) const |
| PFC | setTimeoutHandler (PFC newHandler) const |
| PFC | getTimeoutHandler (void) const |
| PFC | setTerminationHandler (PFC newHandler) const |
| PFC | getTerminationHandler (void) const |
| void | pushVariableName (std::string s) const |
| void | clearVariableNames (void) const |
| std::string | getVariableName (size_t i) const |
| DdManager * | getManager (void) const |
| void | makeVerbose (void) const |
| void | makeTerse (void) const |
| bool | isVerbose (void) const |
| void | checkReturnValue (const void *result) const |
| void | checkReturnValue (const int result) const |
| Cudd & | operator= (const Cudd &right) |
| void | info (void) const |
| BDD | bddVar (void) const |
| BDD | bddVar (int index) const |
| BDD | bddOne (void) const |
| BDD | bddZero (void) const |
| ADD | addVar (void) const |
| ADD | addVar (int index) const |
| ADD | addOne (void) const |
| ADD | addZero (void) const |
| ADD | constant (CUDD_VALUE_TYPE c) const |
| ADD | plusInfinity (void) const |
| ADD | minusInfinity (void) const |
| ZDD | zddVar (int index) const |
| ZDD | zddOne (int i) const |
| ZDD | zddZero (void) const |
| ADD | addNewVarAtLevel (int level) const |
| BDD | bddNewVarAtLevel (int level) const |
| void | zddVarsFromBddVars (int multiplicity) const |
| unsigned long | ReadStartTime (void) const |
| unsigned long | ReadElapsedTime (void) const |
| void | SetStartTime (unsigned long st) const |
| void | ResetStartTime (void) const |
| unsigned long | ReadTimeLimit (void) const |
| unsigned long | SetTimeLimit (unsigned long tl) const |
| void | UpdateTimeLimit (void) const |
| void | IncreaseTimeLimit (unsigned long increase) const |
| void | UnsetTimeLimit (void) const |
| bool | TimeLimited (void) const |
| void | RegisterTerminationCallback (DD_THFP callback, void *callback_arg) const |
| void | UnregisterTerminationCallback (void) const |
| DD_OOMFP | RegisterOutOfMemoryCallback (DD_OOMFP callback) const |
| void | UnregisterOutOfMemoryCallback (void) const |
| void | AutodynEnable (Cudd_ReorderingType method=CUDD_REORDER_SIFT) const |
| void | AutodynDisable (void) const |
| bool | ReorderingStatus (Cudd_ReorderingType *method) const |
| void | AutodynEnableZdd (Cudd_ReorderingType method=CUDD_REORDER_SIFT) const |
| void | AutodynDisableZdd (void) const |
| bool | ReorderingStatusZdd (Cudd_ReorderingType *method) const |
| bool | zddRealignmentEnabled (void) const |
| void | zddRealignEnable (void) const |
| void | zddRealignDisable (void) const |
| bool | bddRealignmentEnabled (void) const |
| void | bddRealignEnable (void) const |
| void | bddRealignDisable (void) const |
| ADD | background (void) const |
| void | SetBackground (ADD bg) const |
| unsigned int | ReadCacheSlots (void) const |
| double | ReadCacheUsedSlots (void) const |
| double | ReadCacheLookUps (void) const |
| double | ReadCacheHits (void) const |
| unsigned int | ReadMinHit (void) const |
| void | SetMinHit (unsigned int hr) const |
| unsigned int | ReadLooseUpTo (void) const |
| void | SetLooseUpTo (unsigned int lut) const |
| unsigned int | ReadMaxCache (void) const |
| unsigned int | ReadMaxCacheHard (void) const |
| void | SetMaxCacheHard (unsigned int mc) const |
| int | ReadSize (void) const |
| int | ReadZddSize (void) const |
| unsigned int | ReadSlots (void) const |
| unsigned int | ReadKeys (void) const |
| unsigned int | ReadDead (void) const |
| unsigned int | ReadMinDead (void) const |
| unsigned int | ReadReorderings (void) const |
| unsigned int | ReadMaxReorderings (void) const |
| void | SetMaxReorderings (unsigned int mr) const |
| long | ReadReorderingTime (void) const |
| int | ReadGarbageCollections (void) const |
| long | ReadGarbageCollectionTime (void) const |
| int | ReadSiftMaxVar (void) const |
| void | SetSiftMaxVar (int smv) const |
| int | ReadSiftMaxSwap (void) const |
| void | SetSiftMaxSwap (int sms) const |
| double | ReadMaxGrowth (void) const |
| void | SetMaxGrowth (double mg) const |
| int | ReadPerm (int i) const |
| int | ReadPermZdd (int i) const |
| int | ReadInvPerm (int i) const |
| int | ReadInvPermZdd (int i) const |
| BDD | ReadVars (int i) const |
| CUDD_VALUE_TYPE | ReadEpsilon (void) const |
| void | SetEpsilon (CUDD_VALUE_TYPE ep) const |
| Cudd_AggregationType | ReadGroupcheck (void) const |
| void | SetGroupcheck (Cudd_AggregationType gc) const |
| bool | GarbageCollectionEnabled (void) const |
| void | EnableGarbageCollection (void) const |
| void | DisableGarbageCollection (void) const |
| bool | DeadAreCounted (void) const |
| void | TurnOnCountDead (void) const |
| void | TurnOffCountDead (void) const |
| int | ReadRecomb (void) const |
| void | SetRecomb (int recomb) const |
| int | ReadSymmviolation (void) const |
| void | SetSymmviolation (int symmviolation) const |
| int | ReadArcviolation (void) const |
| void | SetArcviolation (int arcviolation) const |
| int | ReadPopulationSize (void) const |
| void | SetPopulationSize (int populationSize) const |
| int | ReadNumberXovers (void) const |
| void | SetNumberXovers (int numberXovers) const |
| unsigned int | ReadOrderRandomization (void) const |
| void | SetOrderRandomization (unsigned int factor) const |
| unsigned long | ReadMemoryInUse (void) const |
| long | ReadPeakNodeCount (void) const |
| long | ReadNodeCount (void) const |
| long | zddReadNodeCount (void) const |
| void | AddHook (DD_HFP f, Cudd_HookType where) const |
| void | RemoveHook (DD_HFP f, Cudd_HookType where) const |
| bool | IsInHook (DD_HFP f, Cudd_HookType where) const |
| void | EnableReorderingReporting (void) const |
| void | DisableReorderingReporting (void) const |
| bool | ReorderingReporting (void) const |
| int | ReadErrorCode (void) const |
| DD_OOMFP | InstallOutOfMemoryHandler (DD_OOMFP newHandler) const |
| void | ClearErrorCode (void) const |
| FILE * | ReadStdout (void) const |
| void | SetStdout (FILE *fp) const |
| FILE * | ReadStderr (void) const |
| void | SetStderr (FILE *fp) const |
| unsigned int | ReadNextReordering (void) const |
| void | SetNextReordering (unsigned int) const |
| double | ReadSwapSteps (void) const |
| unsigned int | ReadMaxLive (void) const |
| void | SetMaxLive (unsigned int) const |
| size_t | ReadMaxMemory (void) const |
| size_t | SetMaxMemory (size_t) const |
| int | bddBindVar (int) const |
| int | bddUnbindVar (int) const |
| bool | bddVarIsBound (int) const |
| ADD | Walsh (std::vector< ADD > x, std::vector< ADD > y) const |
| ADD | addResidue (int n, int m, int options, int top) const |
| int | ApaNumberOfDigits (int binaryDigits) const |
| DdApaNumber | NewApaNumber (int digits) const |
| void | ApaCopy (int digits, DdApaNumber source, DdApaNumber dest) const |
| DdApaDigit | ApaAdd (int digits, DdApaNumber a, DdApaNumber b, DdApaNumber sum) const |
| DdApaDigit | ApaSubtract (int digits, DdApaNumber a, DdApaNumber b, DdApaNumber diff) const |
| DdApaDigit | ApaShortDivision (int digits, DdApaNumber dividend, DdApaDigit divisor, DdApaNumber quotient) const |
| void | ApaShiftRight (int digits, DdApaDigit in, DdApaNumber a, DdApaNumber b) const |
| void | ApaSetToLiteral (int digits, DdApaNumber number, DdApaDigit literal) const |
| void | ApaPowerOfTwo (int digits, DdApaNumber number, int power) const |
| void | ApaPrintHex (int digits, DdApaNumber number, FILE *fp=stdout) const |
| void | ApaPrintDecimal (int digits, DdApaNumber number, FILE *fp=stdout) const |
| std::string | ApaStringDecimal (int digits, DdApaNumber number) const |
| void | ApaPrintExponential (int digits, DdApaNumber number, int precision=6, FILE *fp=stdout) const |
| void | DebugCheck (void) const |
| void | CheckKeys (void) const |
| ADD | Harwell (FILE *fp, std::vector< ADD > &x, std::vector< ADD > &y, std::vector< ADD > &xn, std::vector< ADD > &yn_, int *m, int *n, int bx=0, int sx=2, int by=1, int sy=2, int pr=0) const |
| void | PrintLinear (void) const |
| int | ReadLinear (int x, int y) const |
| BDD | Xgty (std::vector< BDD > z, std::vector< BDD > x, std::vector< BDD > y) const |
| BDD | Xeqy (std::vector< BDD > x, std::vector< BDD > y) const |
| ADD | Xeqy (std::vector< ADD > x, std::vector< ADD > y) const |
| BDD | Dxygtdxz (std::vector< BDD > x, std::vector< BDD > y, std::vector< BDD > z) const |
| BDD | Dxygtdyz (std::vector< BDD > x, std::vector< BDD > y, std::vector< BDD > z) const |
| BDD | Inequality (int c, std::vector< BDD > x, std::vector< BDD > y) const |
| BDD | Disequality (int c, std::vector< BDD > x, std::vector< BDD > y) const |
| BDD | Interval (std::vector< BDD > x, unsigned int lowerB, unsigned int upperB) const |
| ADD | Hamming (std::vector< ADD > xVars, std::vector< ADD > yVars) const |
| ADD | Read (FILE *fp, std::vector< ADD > &x, std::vector< ADD > &y, std::vector< ADD > &xn, std::vector< ADD > &yn_, int *m, int *n, int bx=0, int sx=2, int by=1, int sy=2) const |
| BDD | Read (FILE *fp, std::vector< BDD > &x, std::vector< BDD > &y, int *m, int *n, int bx=0, int sx=2, int by=1, int sy=2) const |
| void | ReduceHeap (Cudd_ReorderingType heuristic=CUDD_REORDER_SIFT, int minsize=0) const |
| void | ShuffleHeap (int *permutation) const |
| void | SymmProfile (int lower, int upper) const |
| unsigned int | Prime (unsigned int pr) const |
| void | Reserve (int amount) const |
| int | SharingSize (DD *nodes, int n) const |
| int | SharingSize (const std::vector< BDD > &v) const |
| BDD | bddComputeCube (BDD *vars, int *phase, int n) const |
| BDD | computeCube (std::vector< BDD > const &vars) const |
| ADD | addComputeCube (ADD *vars, int *phase, int n) const |
| ADD | computeCube (std::vector< ADD > const &vars) const |
| BDD | IndicesToCube (int *array, int n) const |
| void | PrintVersion (FILE *fp) const |
| double | AverageDistance (void) const |
| int32_t | Random (void) const |
| void | Srandom (int32_t seed) const |
| void | zddPrintSubtable () const |
| void | zddReduceHeap (Cudd_ReorderingType heuristic=CUDD_REORDER_SIFT, int minsize=0) const |
| void | zddShuffleHeap (int *permutation) const |
| void | zddSymmProfile (int lower, int upper) const |
| void | DumpDot (const std::vector< BDD > &nodes, char const *const *inames=0, char const *const *onames=0, FILE *fp=stdout) const |
| void | DumpDaVinci (const std::vector< BDD > &nodes, char const *const *inames=0, char const *const *onames=0, FILE *fp=stdout) const |
| void | DumpBlif (const std::vector< BDD > &nodes, char const *const *inames=0, char const *const *onames=0, char *mname=0, FILE *fp=stdout, int mv=0) const |
| void | DumpDDcal (const std::vector< BDD > &nodes, char const *const *inames=0, char const *const *onames=0, FILE *fp=stdout) const |
| void | DumpFactoredForm (const std::vector< BDD > &nodes, char const *const *inames=0, char const *const *onames=0, FILE *fp=stdout) const |
| BDD | VectorSupport (const std::vector< BDD > &roots) const |
| std::vector< unsigned int > | SupportIndices (const std::vector< BDD > &roots) const |
| std::vector< unsigned int > | SupportIndices (const std::vector< ADD > &roots) const |
| int | nodeCount (const std::vector< BDD > &roots) const |
| int | VectorSupportSize (const std::vector< BDD > &roots) const |
| void | DumpDot (const std::vector< ADD > &nodes, char const *const *inames=0, char const *const *onames=0, FILE *fp=stdout) const |
| void | DumpDaVinci (const std::vector< ADD > &nodes, char const *const *inames=0, char const *const *onames=0, FILE *fp=stdout) const |
| BDD | VectorSupport (const std::vector< ADD > &roots) const |
| int | VectorSupportSize (const std::vector< ADD > &roots) const |
| void | DumpDot (const std::vector< ZDD > &nodes, char const *const *inames=0, char const *const *onames=0, FILE *fp=stdout) const |
| std::string | OrderString (void) const |
Friends | |
| class | DD |
| class | ABDD |
| class | BDD |
| class | ADD |
| class | ZDD |
| std::ostream & | operator<< (std::ostream &os, BDD const &f) |
Class for CUDD managers.
1.8.14