Cudd.Imperative
data DDManager s u
data DDNode s u
cuddInit
cuddInitDefaults
withManager
withManagerDefaults
withManagerIO
withManagerIODefaults
shuffleHeap
bZero
bOne
ithVar
bAnd
bOr
bNand
bNor
bXor
bXnor
bNot
bIte
bExists
bForall
deref
setVarMap
varMap
lEq
swapVariables
ref
largestCube
makePrime
support
supportIndices
indicesToCube
computeCube
nodesToCube
readSize
bddToCubeArray
compose
andAbstract
xorExistAbstract
leqUnless
equivDC
xEqY
debugCheck
checkKeys
pickOneMinterm
toInt
checkZeroRef
readInvPerm
readPerm
dagSize
readNodeCount
readPeakNodeCount
regular
readMaxCache
readMaxCacheHard
setMaxCacheHard
readCacheSlots
readCacheUsedSlots
cudd_unique_slots
cudd_cache_slots
andLimit
readTree
newVarAtLevel
liCompaction
squeeze
minimize
newVar
vectorCompose
quit
readIndex
printMinterm
checkCube
data Cube
data Prime
data DDGen s u t
genFree
isGenEmpty
firstCube
nextCube
firstPrime
nextPrime