Cudd Class Reference

Class for CUDD managers. More...

#include <cuddObj.hh>

Collaboration diagram for Cudd:
[legend]

Public Member Functions

 Cudd (unsigned int numVars=0, unsigned int numVarsZ=0, unsigned int numSlots=256, unsigned int cacheSize=262144, 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
DdManagergetManager (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
Cuddoperator= (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)

Detailed Description

Class for CUDD managers.

See also:
DD

The documentation for this class was generated from the following files:
 All Data Structures Files Functions Variables Typedefs Enumerations Defines

Generated on 31 Dec 2015 for cudd by  doxygen 1.6.1