|
cudd
3.0.0
The University of Colorado Decision Diagram Package
|
|
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 |
1.8.11
