The cudd package
The University of Colorado decision diagram package.
Fabio Somenzi
**********************************************************************
Cudd_AddHook() Adds a function to a hook.
Cudd_ApaAdd() Adds two arbitrary precision integers.
Cudd_ApaCompareRatios() Compares the ratios of two arbitrary precision
integers to two unsigned ints.
Cudd_ApaCompare() Compares two arbitrary precision integers.
Cudd_ApaCopy() Makes a copy of an arbitrary precision integer.
Cudd_ApaCountMinterm() Counts the number of minterms of a DD.
Cudd_ApaIntDivision() Divides an arbitrary precision integer by an
integer.
Cudd_ApaNumberOfDigits() Finds the number of digits for an arbitrary
precision integer.
Cudd_ApaPowerOfTwo() Sets an arbitrary precision integer to a power
of two.
Cudd_ApaPrintDecimal() Prints an arbitrary precision integer in
decimal format.
Cudd_ApaPrintDensity() Prints the density of a BDD or ADD using
arbitrary precision arithmetic.
Cudd_ApaPrintExponential() Prints an arbitrary precision integer in
exponential format.
Cudd_ApaPrintHex() Prints an arbitrary precision integer in
hexadecimal format.
Cudd_ApaPrintMintermExp() Prints the number of minterms of a BDD or ADD
in exponential format using arbitrary precision
arithmetic.
Cudd_ApaPrintMinterm() Prints the number of minterms of a BDD or ADD
using arbitrary precision arithmetic.
Cudd_ApaSetToLiteral() Sets an arbitrary precision integer to a one-
digit literal.
Cudd_ApaShiftRight() Shifts right an arbitrary precision integer by
one binary place.
Cudd_ApaShortDivision() Divides an arbitrary precision integer by a
digit.
Cudd_ApaSubtract() Subtracts two arbitrary precision integers.
Cudd_AutodynDisableZdd() Disables automatic dynamic reordering of ZDDs.
Cudd_AutodynDisable() Disables automatic dynamic reordering.