The University of Colorado Decision Diagram package. More...

## Files | |

file | cudd.h |

The University of Colorado decision diagram package. | |

file | cuddAddAbs.c |

Quantification functions for ADDs. | |

file | cuddAddApply.c |

Apply functions for ADDs and their operators. | |

file | cuddAddFind.c |

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

file | cuddAddInv.c |

Function to compute the scalar inverse of an ADD. | |

file | cuddAddIte.c |

ADD ITE function and satellites. | |

file | cuddAddNeg.c |

Function to compute the negation of an ADD. | |

file | cuddAddWalsh.c |

Functions that generate Walsh matrices and residue functions in ADD form. | |

file | cuddAndAbs.c |

Combined AND and existential abstraction for BDDs. | |

file | cuddAnneal.c |

Reordering of DDs based on simulated annealing. | |

file | cuddApa.c |

Arbitrary precision arithmetic functions. | |

file | cuddAPI.c |

Application interface functions. | |

file | cuddApprox.c |

Procedures to approximate a given BDD. | |

file | cuddBddAbs.c |

Quantification functions for BDDs. | |

file | cuddBddCorr.c |

Correlation between BDDs. | |

file | cuddBddIte.c |

BDD ITE function and satellites. | |

file | cuddBridge.c |

Translation from BDD to ADD and vice versa and transfer between different managers. | |

file | cuddCache.c |

Functions for cache insertion and lookup. | |

file | cuddCheck.c |

Functions to check consistency of data structures. | |

file | cuddClip.c |

Clipping functions. | |

file | cuddCof.c |

Cofactoring functions. | |

file | cuddCompose.c |

Functional composition and variable permutation of DDs. | |

file | cuddDecomp.c |

Functions for BDD decomposition. | |

file | cuddEssent.c |

Functions for the detection of essential variables. | |

file | cuddExact.c |

Functions for exact variable reordering. | |

file | cuddExport.c |

Export functions. | |

file | cuddGenCof.c |

Generalized cofactors for BDDs and ADDs. | |

file | cuddGenetic.c |

Genetic algorithm for variable reordering. | |

file | cuddGroup.c |

Functions for group sifting. | |

file | cuddHarwell.c |

Function to read a matrix in Harwell format. | |

file | cuddInit.c |

Functions to initialize and shut down the DD manager. | |

file | cuddInt.h |

Internal data structures of the CUDD package. | |

file | cuddInteract.c |

Functions to manipulate the variable interaction matrix. | |

file | cuddLCache.c |

Functions for local caches. | |

file | cuddLevelQ.c |

Procedure to manage level queues. | |

file | cuddLinear.c |

Functions for BDD and ADD reduction by linear transformations. | |

file | cuddLiteral.c |

Functions for manipulation of literal sets represented by BDDs. | |

file | cuddMatMult.c |

Matrix multiplication functions. | |

file | cuddPriority.c |

Priority functions. | |

file | cuddRead.c |

Functions to read in a matrix. | |

file | cuddRef.c |

Functions that manipulate the reference counts. | |

file | cuddReorder.c |

Functions for dynamic variable reordering. | |

file | cuddSat.c |

Functions for the solution of satisfiability related problems. | |

file | cuddSign.c |

Computation of signatures. | |

file | cuddSolve.c |

Boolean equation solver and related functions. | |

file | cuddSplit.c |

Returns a subset of minterms from a boolean function. | |

file | cuddSubsetHB.c |

Procedure to subset the given BDD by choosing the heavier branches. | |

file | cuddSubsetSP.c |

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

file | cuddSymmetry.c |

Functions for symmetry-based variable reordering. | |

file | cuddTable.c |

Unique table management functions. | |

file | cuddUtil.c |

Utility functions. | |

file | cuddWindow.c |

Functions for variable reordering by window permutation. | |

file | cuddZddCount.c |

Procedures to count the number of minterms of a ZDD. | |

file | cuddZddFuncs.c |

Functions to manipulate covers represented as ZDDs. | |

file | cuddZddGroup.c |

Functions for ZDD group sifting. | |

file | cuddZddIsop.c |

Functions to find irredundant SOP covers as ZDDs from BDDs. | |

file | cuddZddLin.c |

Procedures for dynamic variable ordering of ZDDs. | |

file | cuddZddMisc.c |

Miscellaneous utility functions for ZDDs. | |

file | cuddZddPort.c |

Functions that translate BDDs to ZDDs. | |

file | cuddZddReord.c |

Procedures for dynamic variable ordering of ZDDs. | |

file | cuddZddSetop.c |

Set operations on ZDDs. | |

file | cuddZddSymm.c |

Functions for symmetry-based ZDD variable reordering. | |

file | cuddZddUtil.c |

Utility functions for ZDDs. | |

file | testcudd.c |

Sanity check tests for some CUDD functions. | |

file | testextra.c |

This program tests selected features of CUDD. |

The University of Colorado Decision Diagram package.

Generated on 31 Dec 2015 for cudd by 1.6.1