cudd
3.0.0
The University of Colorado Decision Diagram Package
|
► cplusplus | |
cuddObj.cc | Functions for the C++ object-oriented encapsulation of CUDD |
cuddObj.hh | Class definitions for C++ object-oriented encapsulation of CUDD |
testmulti.cc | Test program for multiple managers (one per thread) |
testobj.cc | Test program for the C++ object-oriented encapsulation of CUDD |
► cudd | |
cudd.h | The University of Colorado decision diagram package |
cuddAddAbs.c | Quantification functions for ADDs |
cuddAddApply.c | Apply functions for ADDs and their operators |
cuddAddFind.c | Functions to find maximum and minimum in an ADD and to extract the i-th bit |
cuddAddInv.c | Function to compute the scalar inverse of an ADD |
cuddAddIte.c | ADD ITE function and satellites |
cuddAddNeg.c | Function to compute the negation of an ADD |
cuddAddWalsh.c | Functions that generate Walsh matrices and residue functions in ADD form |
cuddAndAbs.c | Combined AND and existential abstraction for BDDs |
cuddAnneal.c | Reordering of DDs based on simulated annealing |
cuddApa.c | Arbitrary precision arithmetic functions |
cuddAPI.c | Application interface functions |
cuddApprox.c | Procedures to approximate a given BDD |
cuddBddAbs.c | Quantification functions for BDDs |
cuddBddCorr.c | Correlation between BDDs |
cuddBddIte.c | BDD ITE function and satellites |
cuddBridge.c | Translation from BDD to ADD and vice versa and transfer between different managers |
cuddCache.c | Functions for cache insertion and lookup |
cuddCheck.c | Functions to check consistency of data structures |
cuddClip.c | Clipping functions |
cuddCof.c | Cofactoring functions |
cuddCompose.c | Functional composition and variable permutation of DDs |
cuddDecomp.c | Functions for BDD decomposition |
cuddEssent.c | Functions for the detection of essential variables |
cuddExact.c | Functions for exact variable reordering |
cuddExport.c | Export functions |
cuddGenCof.c | Generalized cofactors for BDDs and ADDs |
cuddGenetic.c | Genetic algorithm for variable reordering |
cuddGroup.c | Functions for group sifting |
cuddHarwell.c | Function to read a matrix in Harwell format |
cuddInit.c | Functions to initialize and shut down the DD manager |
cuddInt.h | Internal data structures of the CUDD package |
cuddInteract.c | Functions to manipulate the variable interaction matrix |
cuddLCache.c | Functions for local caches |
cuddLevelQ.c | Procedure to manage level queues |
cuddLinear.c | Functions for BDD and ADD reduction by linear transformations |
cuddLiteral.c | Functions for manipulation of literal sets represented by BDDs |
cuddMatMult.c | Matrix multiplication functions |
cuddPriority.c | Priority functions |
cuddRead.c | Functions to read in a matrix |
cuddRef.c | Functions that manipulate the reference counts |
cuddReorder.c | Functions for dynamic variable reordering |
cuddSat.c | Functions for the solution of satisfiability related problems |
cuddSign.c | Computation of signatures |
cuddSolve.c | Boolean equation solver and related functions |
cuddSplit.c | Returns a subset of minterms from a boolean function |
cuddSubsetHB.c | Procedure to subset the given BDD by choosing the heavier branches |
cuddSubsetSP.c | Procedure to subset the given BDD choosing the shortest paths (largest cubes) in the BDD |
cuddSymmetry.c | Functions for symmetry-based variable reordering |
cuddTable.c | Unique table management functions |
cuddUtil.c | Utility functions |
cuddWindow.c | Functions for variable reordering by window permutation |
cuddZddCount.c | Procedures to count the number of minterms of a ZDD |
cuddZddFuncs.c | Functions to manipulate covers represented as ZDDs |
cuddZddGroup.c | Functions for ZDD group sifting |
cuddZddIsop.c | Functions to find irredundant SOP covers as ZDDs from BDDs |
cuddZddLin.c | Procedures for dynamic variable ordering of ZDDs |
cuddZddMisc.c | Miscellaneous utility functions for ZDDs |
cuddZddPort.c | Functions that translate BDDs to ZDDs |
cuddZddReord.c | Procedures for dynamic variable ordering of ZDDs |
cuddZddSetop.c | Set operations on ZDDs |
cuddZddSymm.c | Functions for symmetry-based ZDD variable reordering |
cuddZddUtil.c | Utility functions for ZDDs |
testcudd.c | Sanity check tests for some CUDD functions |
testextra.c | This program tests selected features of CUDD |
► epd | |
epd.c | Arithmetic functions with extended double precision |
epd.h | The University of Colorado extended double precision package |
epdInt.h | Internal header for the University of Colorado extended double precision package |
► mtr | |
mtr.h | Multiway-branch tree manipulation |
mtrBasic.c | Basic manipulation of multiway branching trees |
mtrGroup.c | Functions to support group specification for reordering |
mtrInt.h | Internal data structures of the mtr package |
testmtr.c | Test program for the mtr package |
► nanotrav | |
bnet.c | Functions to read in a boolean network |
bnet.h | Simple-minded package to read a blif file |
chkMterm.c | Functions to check that the minterm counts have not changed during reordering |
main.c | Main program for the nanotrav program |
ntr.c | A very simple reachability analysis program |
ntr.h | Simple-minded package to do traversal |
ntrBddTest.c | BDD test functions for the nanotrav program |
ntrHeap.c | Functions for heap-based priority queues |
ntrMflow.c | Symbolic maxflow algorithm |
ntrShort.c | Symbolic shortest paths algorithms |
ntrZddTest.c | ZDD test functions |
► st | |
st.c | Symbol table package |
st.h | Symbol table package |
testst.c | Simple test program of the st library |
► util | |
cpu_stats.c | CPU statistics |
cpu_time.c | System time calls |
cstringstream.c | Simple string streams in C |
cstringstream.h | Package for simple stringstreams in C |
datalimit.c | Access to datasize limit |
pathsearch.c | Search in PATH |
pipefork.c | Forks a command and sets up pipes to and from |
prtime.c | Time printing utility |
safe_mem.c | Interface routines to be placed between a program and the system memory allocator |
strsav.c | String copying |
texpand.c | Tilde expansion |
ucbqsort.c | Ancient implementation of qsort |
util.h | Low-level utilities |