cplusplus/cuddObj.cc | Functions for the C++ object-oriented encapsulation of CUDD |

cplusplus/cuddObj.hh [code] | Class definitions for C++ object-oriented encapsulation of CUDD |

cplusplus/testmulti.cc | Test program for multiple managers (one per thread) |

cplusplus/testobj.cc | Test program for the C++ object-oriented encapsulation of CUDD |

cudd/cudd.h [code] | The University of Colorado decision diagram package |

cudd/cuddAddAbs.c | Quantification functions for ADDs |

cudd/cuddAddApply.c | Apply functions for ADDs and their operators |

cudd/cuddAddFind.c | Functions to find maximum and minimum in an ADD and to extract the i-th bit |

cudd/cuddAddInv.c | Function to compute the scalar inverse of an ADD |

cudd/cuddAddIte.c | ADD ITE function and satellites |

cudd/cuddAddNeg.c | Function to compute the negation of an ADD |

cudd/cuddAddWalsh.c | Functions that generate Walsh matrices and residue functions in ADD form |

cudd/cuddAndAbs.c | Combined AND and existential abstraction for BDDs |

cudd/cuddAnneal.c | Reordering of DDs based on simulated annealing |

cudd/cuddApa.c | Arbitrary precision arithmetic functions |

cudd/cuddAPI.c | Application interface functions |

cudd/cuddApprox.c | Procedures to approximate a given BDD |

cudd/cuddBddAbs.c | Quantification functions for BDDs |

cudd/cuddBddCorr.c | Correlation between BDDs |

cudd/cuddBddIte.c | BDD ITE function and satellites |

cudd/cuddBridge.c | Translation from BDD to ADD and vice versa and transfer between different managers |

cudd/cuddCache.c | Functions for cache insertion and lookup |

cudd/cuddCheck.c | Functions to check consistency of data structures |

cudd/cuddClip.c | Clipping functions |

cudd/cuddCof.c | Cofactoring functions |

cudd/cuddCompose.c | Functional composition and variable permutation of DDs |

cudd/cuddDecomp.c | Functions for BDD decomposition |

cudd/cuddEssent.c | Functions for the detection of essential variables |

cudd/cuddExact.c | Functions for exact variable reordering |

cudd/cuddExport.c | Export functions |

cudd/cuddGenCof.c | Generalized cofactors for BDDs and ADDs |

cudd/cuddGenetic.c | Genetic algorithm for variable reordering |

cudd/cuddGroup.c | Functions for group sifting |

cudd/cuddHarwell.c | Function to read a matrix in Harwell format |

cudd/cuddInit.c | Functions to initialize and shut down the DD manager |

cudd/cuddInt.h [code] | Internal data structures of the CUDD package |

cudd/cuddInteract.c | Functions to manipulate the variable interaction matrix |

cudd/cuddLCache.c | Functions for local caches |

cudd/cuddLevelQ.c | Procedure to manage level queues |

cudd/cuddLinear.c | Functions for BDD and ADD reduction by linear transformations |

cudd/cuddLiteral.c | Functions for manipulation of literal sets represented by BDDs |

cudd/cuddMatMult.c | Matrix multiplication functions |

cudd/cuddPriority.c | Priority functions |

cudd/cuddRead.c | Functions to read in a matrix |

cudd/cuddRef.c | Functions that manipulate the reference counts |

cudd/cuddReorder.c | Functions for dynamic variable reordering |

cudd/cuddSat.c | Functions for the solution of satisfiability related problems |

cudd/cuddSign.c | Computation of signatures |

cudd/cuddSolve.c | Boolean equation solver and related functions |

cudd/cuddSplit.c | Returns a subset of minterms from a boolean function |

cudd/cuddSubsetHB.c | Procedure to subset the given BDD by choosing the heavier branches |

cudd/cuddSubsetSP.c | Procedure to subset the given BDD choosing the shortest paths (largest cubes) in the BDD |

cudd/cuddSymmetry.c | Functions for symmetry-based variable reordering |

cudd/cuddTable.c | Unique table management functions |

cudd/cuddUtil.c | Utility functions |

cudd/cuddWindow.c | Functions for variable reordering by window permutation |

cudd/cuddZddCount.c | Procedures to count the number of minterms of a ZDD |

cudd/cuddZddFuncs.c | Functions to manipulate covers represented as ZDDs |

cudd/cuddZddGroup.c | Functions for ZDD group sifting |

cudd/cuddZddIsop.c | Functions to find irredundant SOP covers as ZDDs from BDDs |

cudd/cuddZddLin.c | Procedures for dynamic variable ordering of ZDDs |

cudd/cuddZddMisc.c | Miscellaneous utility functions for ZDDs |

cudd/cuddZddPort.c | Functions that translate BDDs to ZDDs |

cudd/cuddZddReord.c | Procedures for dynamic variable ordering of ZDDs |

cudd/cuddZddSetop.c | Set operations on ZDDs |

cudd/cuddZddSymm.c | Functions for symmetry-based ZDD variable reordering |

cudd/cuddZddUtil.c | Utility functions for ZDDs |

cudd/testcudd.c | Sanity check tests for some CUDD functions |

cudd/testextra.c | This program tests selected features of CUDD |

epd/epd.c | Arithmetic functions with extended double precision |

epd/epd.h [code] | The University of Colorado extended double precision package |

epd/epdInt.h [code] | Internal header for the University of Colorado extended double precision package |

mtr/mtr.h [code] | Multiway-branch tree manipulation |

mtr/mtrBasic.c | Basic manipulation of multiway branching trees |

mtr/mtrGroup.c | Functions to support group specification for reordering |

mtr/mtrInt.h [code] | Internal data structures of the mtr package |

mtr/testmtr.c | Test program for the mtr package |

nanotrav/bnet.c | Functions to read in a boolean network |

nanotrav/bnet.h [code] | Simple-minded package to read a blif file |

nanotrav/chkMterm.c | Functions to check that the minterm counts have not changed during reordering |

nanotrav/main.c | Main program for the nanotrav program |

nanotrav/ntr.c | A very simple reachability analysis program |

nanotrav/ntr.h [code] | Simple-minded package to do traversal |

nanotrav/ntrBddTest.c | BDD test functions for the nanotrav program |

nanotrav/ntrHeap.c | Functions for heap-based priority queues |

nanotrav/ntrMflow.c | Symbolic maxflow algorithm |

nanotrav/ntrShort.c | Symbolic shortest paths algorithms |

nanotrav/ntrZddTest.c | ZDD test functions |

st/st.c | Symbol table package |

st/st.h [code] | Symbol table package |

st/testst.c | Simple test program of the st library |

util/cpu_stats.c | CPU statistics |

util/cpu_time.c | System time calls |

util/cstringstream.c | Simple string streams in C |

util/cstringstream.h [code] | Package for simple stringstreams in C |

util/datalimit.c | Access to datasize limit |

util/pathsearch.c | Search in PATH |

util/pipefork.c | Forks a command and sets up pipes to and from |

util/prtime.c | Time printing utility |

util/safe_mem.c | Interface routines to be placed between a program and the system memory allocator |

util/strsav.c | String copying |

util/texpand.c | Tilde expansion |

util/ucbqsort.c | Ancient implementation of qsort |

util/util.h [code] | Low-level utilities |

Generated on 31 Dec 2015 for cudd by 1.6.1