Module cudd 

Contains the declarations present in cudd.h (main CUDD API).

Enums

Cudd_AggregationType

Type of aggregation method algorithm.

Cudd_ErrorType

Cudd_HookType

Type of a hook.

Cudd_LazyGroupType

Type of grouping used during lazy sifting.

Cudd_ReorderingType

Types of variable reordering algorithms.

Cudd_VariableType

Type of variable used during lazy sifting.

Constants

CUDD_CACHE_SLOTS

Recommended default size of the operation cache table.

CUDD_FALSE

An integer representation of a Boolean false constant. (This is not a DD construct!)

CUDD_OUT_OF_MEM

An special return value indicating an out-of-memory error.

CUDD_RESIDUE_DEFAULT

Default option for Cudd_addResidue: specifies that the least-significant-bit is on top, and the number is interpreted as unsigned.

CUDD_RESIDUE_MSB

Used with Cudd_addResidue: add (logical or) this flag to the default options to specify that the most-significant-bit is on top.

CUDD_RESIDUE_TC

Used with Cudd_addResidue: add (logical or) this flag to the default options to specify that the number should be interpreted as a signed two’s complement.

CUDD_TRUE

An integer representation of a Boolean true constant. (This is not a DD construct!)

CUDD_UNIQUE_SLOTS

Recommended default size of the unique node table.

Functions

Cudd_AddHook^⚠

Cudd_ApaAdd^⚠

Cudd_ApaCompare^⚠

Cudd_ApaCompareRatios^⚠

Cudd_ApaCopy^⚠

Cudd_ApaCountMinterm^⚠

Cudd_ApaIntDivision^⚠

Cudd_ApaNumberOfDigits^⚠

Cudd_ApaPowerOfTwo^⚠

Cudd_ApaPrintDecimal^⚠

Cudd_ApaPrintDensity^⚠

Cudd_ApaPrintExponential^⚠

Cudd_ApaPrintHex^⚠

Cudd_ApaPrintMinterm^⚠

Cudd_ApaPrintMintermExp^⚠

Cudd_ApaSetToLiteral^⚠

Cudd_ApaShiftRight^⚠

Cudd_ApaShortDivision^⚠

Cudd_ApaStringDecimal^⚠

Cudd_ApaSubtract^⚠

Cudd_AutodynDisable^⚠

Cudd_AutodynDisableZdd^⚠

Cudd_AutodynEnable^⚠

Cudd_AutodynEnableZdd^⚠

Cudd_AverageDistance^⚠

Cudd_BddToAdd^⚠

Cudd_BddToCubeArray^⚠

Cudd_BiasedOverApprox^⚠

Cudd_BiasedUnderApprox^⚠

Cudd_CProjection^⚠

Cudd_CheckCube^⚠

Cudd_CheckKeys^⚠

Cudd_CheckZeroRef^⚠

Cudd_ClassifySupport^⚠

Cudd_ClearErrorCode^⚠

Cudd_CofMinterm^⚠

Cudd_Cofactor^⚠

Cudd_Complement^⚠

Computes the complemented version of a node pointer (i.e. with a complement bit set, regardless of its previous value).

Cudd_CountLeaves^⚠

Cudd_CountMinterm^⚠

Cudd_CountPath^⚠

Cudd_CountPathsToNonZero^⚠

Cudd_CubeArrayToBdd^⚠

Cudd_DagSize^⚠

Cudd_DeadAreCounted^⚠

Cudd_DebugCheck^⚠

Cudd_Decreasing^⚠

Cudd_DelayedDerefBdd^⚠

Cudd_Density^⚠

Cudd_Deref^⚠

Cudd_DisableGarbageCollection^⚠

Cudd_DisableOrderingMonitoring^⚠

Cudd_DisableReorderingReporting^⚠

Cudd_Disequality^⚠

Cudd_DumpBlif^⚠

Cudd_DumpBlifBody^⚠

Cudd_DumpDDcal^⚠

Cudd_DumpDaVinci^⚠

Cudd_DumpDot^⚠

Cudd_DumpFactoredForm^⚠

Cudd_Dxygtdxz^⚠

Cudd_Dxygtdyz^⚠

Cudd_E^⚠

Cudd_EnableGarbageCollection^⚠

Cudd_EnableOrderingMonitoring^⚠

Cudd_EnableReorderingReporting^⚠

Cudd_EpdCountMinterm^⚠

Cudd_EpdPrintMinterm^⚠

Cudd_EqualSupNorm^⚠

Cudd_EquivDC^⚠

Cudd_EstimateCofactor^⚠

Cudd_EstimateCofactorSimple^⚠

Cudd_Eval^⚠

Cudd_ExpectedUsedSlots^⚠

Cudd_FactoredFormString^⚠

Cudd_FindEssential^⚠

Cudd_FindTwoLiteralClauses^⚠

Cudd_FirstCube^⚠

Cudd_FirstNode^⚠

Cudd_FirstPrime^⚠

Cudd_ForeachCube^⚠

Iterates over the cubes of a decision diagram f. The length of the cube is the number of variables in the CUDD manager when the iteration is started.

Cudd_ForeachNode^⚠

Iterates over the nodes of a decision diagram f. See also Cudd_FirstNode.

Cudd_ForeachPrime^⚠

Iterates over the primes of a Boolean function producing a prime (but not necessarily irredundant) cover. For more information, see Cudd_FirstPrime.

Cudd_FreeApaNumber^⚠

Cudd_FreeTree^⚠

Cudd_FreeZddTree^⚠

Cudd_GarbageCollectionEnabled^⚠

Cudd_GenFree^⚠

Cudd_IncreaseTimeLimit^⚠

Cudd_Increasing^⚠

Cudd_IndicesToCube^⚠

Cudd_Inequality^⚠

Cudd_Init^⚠

Cudd_InstallOutOfMemoryHandler^⚠

Cudd_IsComplement^⚠

Returns 1 if a pointer is complemented.

Cudd_IsConstant^⚠

Cudd_IsGenEmpty^⚠

Cudd_IsInHook^⚠

Cudd_IsNonConstant^⚠

Cudd_IterDerefBdd^⚠

Cudd_LargestCube^⚠

Cudd_MakeBddFromZddCover^⚠

Cudd_MakeTreeNode^⚠

Cudd_MakeZddTreeNode^⚠

Cudd_MinHammingDist^⚠

Cudd_NewApaNumber^⚠

Cudd_NextCube^⚠

Cudd_NextNode^⚠

Cudd_NextPrime^⚠

Cudd_NodeReadIndex^⚠

Cudd_Not^⚠

Complements a DD node by flipping the complement attribute of the pointer (the least significant bit).

Cudd_NotCond^⚠

Complements a DD node by flipping the complement attribute of the pointer if a condition is satisfied. The condition argument must be always either 1 or 0.

Cudd_OrderingMonitoring^⚠

Cudd_OutOfMem^⚠

Cudd_OutOfMemSilent^⚠

Cudd_OverApprox^⚠

Cudd_Prime^⚠

Cudd_PrintDebug^⚠

Cudd_PrintGroupedOrder^⚠

Cudd_PrintInfo^⚠

Cudd_PrintLinear^⚠

Cudd_PrintMinterm^⚠

Cudd_PrintSummary^⚠

Cudd_PrintTwoLiteralClauses^⚠

Cudd_PrintVersion^⚠

Cudd_PrioritySelect^⚠

Cudd_Quit^⚠

Cudd_Random^⚠

Cudd_ReadApplicationHook^⚠

Cudd_ReadArcviolation^⚠

Cudd_ReadBackground^⚠

Cudd_ReadCacheHits^⚠

Cudd_ReadCacheLookUps^⚠

Cudd_ReadCacheSlots^⚠

Cudd_ReadCacheUsedSlots^⚠

Cudd_ReadDead^⚠

Cudd_ReadElapsedTime^⚠

Cudd_ReadEpsilon^⚠

Cudd_ReadErrorCode^⚠

Cudd_ReadGarbageCollectionTime^⚠

Cudd_ReadGarbageCollections^⚠

Cudd_ReadGroupcheck^⚠

Cudd_ReadIndex^⚠

Returns the current position in the order of variable index. This macro is obsolete and is kept for compatibility. New applications should use Cudd_ReadPerm instead.

Cudd_ReadInvPerm^⚠

Cudd_ReadInvPermZdd^⚠

Cudd_ReadIthClause^⚠

Cudd_ReadKeys^⚠

Cudd_ReadLinear^⚠

Cudd_ReadLogicZero^⚠

Cudd_ReadLooseUpTo^⚠

Cudd_ReadMaxCache^⚠

Cudd_ReadMaxCacheHard^⚠

Cudd_ReadMaxGrowth^⚠

Cudd_ReadMaxGrowthAlternate^⚠

Cudd_ReadMaxIndex^⚠

Cudd_ReadMaxLive^⚠

Cudd_ReadMaxMemory^⚠

Cudd_ReadMaxReorderings^⚠

Cudd_ReadMemoryInUse^⚠

Cudd_ReadMinDead^⚠

Cudd_ReadMinHit^⚠

Cudd_ReadMinusInfinity^⚠

Cudd_ReadNextReordering^⚠

Cudd_ReadNodeCount^⚠

Cudd_ReadNodesDropped^⚠

Cudd_ReadNodesFreed^⚠

Cudd_ReadNumberXovers^⚠

Cudd_ReadOne^⚠

Cudd_ReadOrderRandomization^⚠

Cudd_ReadPeakLiveNodeCount^⚠

Cudd_ReadPeakNodeCount^⚠

Cudd_ReadPerm^⚠

Cudd_ReadPermZdd^⚠

Cudd_ReadPlusInfinity^⚠

Cudd_ReadPopulationSize^⚠

Cudd_ReadRecomb^⚠

Cudd_ReadRecursiveCalls^⚠

Cudd_ReadReorderingCycle^⚠

Cudd_ReadReorderingTime^⚠

Cudd_ReadReorderings^⚠

Cudd_ReadSiftMaxSwap^⚠

Cudd_ReadSiftMaxVar^⚠

Cudd_ReadSize^⚠

Cudd_ReadSlots^⚠

Cudd_ReadStartTime^⚠

Cudd_ReadStderr^⚠

Cudd_ReadStdout^⚠

Cudd_ReadSwapSteps^⚠

Cudd_ReadSymmviolation^⚠

Cudd_ReadTimeLimit^⚠

Cudd_ReadTimeoutHandler^⚠

Cudd_ReadTree^⚠

Cudd_ReadUniqueLinks^⚠

Cudd_ReadUniqueLookUps^⚠

Cudd_ReadUsedSlots^⚠

Cudd_ReadVars^⚠

Cudd_ReadZddOne^⚠

Cudd_ReadZddSize^⚠

Cudd_ReadZddTree^⚠

Cudd_ReadZero^⚠

Cudd_RecursiveDeref^⚠

Cudd_RecursiveDerefZdd^⚠

Cudd_ReduceHeap^⚠

Cudd_Ref^⚠

Cudd_RegisterOutOfMemoryCallback^⚠

Cudd_RegisterTerminationCallback^⚠

Cudd_RegisterTimeoutHandler^⚠

Cudd_Regular^⚠

Computes the regular version of a node pointer (i.e. without the complement bit set, regardless of its previous value).

Cudd_RemapOverApprox^⚠

Cudd_RemapUnderApprox^⚠

Cudd_RemoveHook^⚠

Cudd_ReorderingReporting^⚠

Cudd_ReorderingStatus^⚠

Cudd_ReorderingStatusZdd^⚠

Cudd_Reserve^⚠

Cudd_ResetStartTime^⚠

Cudd_SetApplicationHook^⚠

Cudd_SetArcviolation^⚠

Cudd_SetBackground^⚠

Cudd_SetEpsilon^⚠

Cudd_SetGroupcheck^⚠

Cudd_SetLooseUpTo^⚠

Cudd_SetMaxCacheHard^⚠

Cudd_SetMaxGrowth^⚠

Cudd_SetMaxGrowthAlternate^⚠

Cudd_SetMaxLive^⚠

Cudd_SetMaxMemory^⚠

Cudd_SetMaxReorderings^⚠

Cudd_SetMinHit^⚠

Cudd_SetNextReordering^⚠

Cudd_SetNumberXovers^⚠

Cudd_SetOrderRandomization^⚠

Cudd_SetPopulationSize^⚠

Cudd_SetRecomb^⚠

Cudd_SetReorderingCycle^⚠

Cudd_SetSiftMaxSwap^⚠

Cudd_SetSiftMaxVar^⚠

Cudd_SetStartTime^⚠

Cudd_SetStderr^⚠

Cudd_SetStdout^⚠

Cudd_SetSymmviolation^⚠

Cudd_SetTimeLimit^⚠

Cudd_SetTree^⚠

Cudd_SetVarMap^⚠

Cudd_SetZddTree^⚠

Cudd_SharingSize^⚠

Cudd_ShortestLength^⚠

Cudd_ShortestPath^⚠

Cudd_ShuffleHeap^⚠

Cudd_SolveEqn^⚠

Cudd_SplitSet^⚠

Cudd_Srandom^⚠

Cudd_StdPostReordHook^⚠

Cudd_StdPreReordHook^⚠

Cudd_SubsetCompress^⚠

Cudd_SubsetHeavyBranch^⚠

Cudd_SubsetShortPaths^⚠

Cudd_SubsetWithMaskVars^⚠

Cudd_SupersetCompress^⚠

Cudd_SupersetHeavyBranch^⚠

Cudd_SupersetShortPaths^⚠

Cudd_Support^⚠

Cudd_SupportIndex^⚠

Cudd_SupportIndices^⚠

Cudd_SupportSize^⚠

Cudd_SymmProfile^⚠

Cudd_T^⚠

Cudd_TimeLimited^⚠

Cudd_TurnOffCountDead^⚠

Cudd_TurnOnCountDead^⚠

Cudd_UnderApprox^⚠

Cudd_UnregisterOutOfMemoryCallback^⚠

Cudd_UnregisterTerminationCallback^⚠

Cudd_UnsetTimeLimit^⚠

Cudd_UpdateTimeLimit^⚠

Cudd_V^⚠

Cudd_VarsAreSymmetric^⚠

Cudd_VectorSupport^⚠

Cudd_VectorSupportIndex^⚠

Cudd_VectorSupportIndices^⚠

Cudd_VectorSupportSize^⚠

Cudd_VerifySol^⚠

Cudd_Xeqy^⚠

Cudd_Xgty^⚠

Cudd_addAgreement^⚠

Cudd_addApply^⚠

Cudd_addBddInterval^⚠

Cudd_addBddIthBit^⚠

Cudd_addBddPattern^⚠

Cudd_addBddStrictThreshold^⚠

Cudd_addBddThreshold^⚠

Cudd_addCmpl^⚠

Cudd_addCompose^⚠

Cudd_addComputeCube^⚠

Cudd_addConst^⚠

Cudd_addConstrain^⚠

Cudd_addDiff^⚠

Cudd_addDivide^⚠

Cudd_addEvalConst^⚠

Cudd_addExistAbstract^⚠

Cudd_addFindMax^⚠

Cudd_addFindMin^⚠

Cudd_addGeneralVectorCompose^⚠

Cudd_addHamming^⚠

Cudd_addHarwell^⚠

Cudd_addIte^⚠

Cudd_addIteConstant^⚠

Cudd_addIthBit^⚠

Cudd_addIthVar^⚠

Cudd_addLeq^⚠

Cudd_addLog^⚠

Cudd_addMatrixMultiply^⚠

Cudd_addMaximum^⚠

Cudd_addMinimum^⚠

Cudd_addMinus^⚠

Cudd_addMonadicApply^⚠

Cudd_addNand^⚠

Cudd_addNegate^⚠

Cudd_addNewVar^⚠

Cudd_addNewVarAtLevel^⚠

Cudd_addNonSimCompose^⚠

Cudd_addNor^⚠

Cudd_addOneZeroMaximum^⚠

Cudd_addOr^⚠

Cudd_addOrAbstract^⚠

Cudd_addOuterSum^⚠

Cudd_addPermute^⚠

Cudd_addPlus^⚠

Cudd_addRead^⚠

Cudd_addResidue^⚠

Cudd_addRestrict^⚠

Cudd_addRoundOff^⚠

Cudd_addScalarInverse^⚠

Cudd_addSetNZ^⚠

Cudd_addSwapVariables^⚠

Cudd_addThreshold^⚠

Cudd_addTimes^⚠

Cudd_addTimesPlus^⚠

Cudd_addTriangle^⚠

Cudd_addUnivAbstract^⚠

Cudd_addVectorCompose^⚠

Cudd_addWalsh^⚠

Cudd_addXeqy^⚠

Cudd_addXnor^⚠

Cudd_addXor^⚠

Cudd_bddAdjPermuteX^⚠

Cudd_bddAnd^⚠

Cudd_bddAndAbstract^⚠

Cudd_bddAndAbstractLimit^⚠

Cudd_bddAndLimit^⚠

Cudd_bddApproxConjDecomp^⚠

Cudd_bddApproxDisjDecomp^⚠

Cudd_bddBindVar^⚠

Cudd_bddBooleanDiff^⚠

Cudd_bddCharToVect^⚠

Cudd_bddClippingAnd^⚠

Cudd_bddClippingAndAbstract^⚠

Cudd_bddClosestCube^⚠

Cudd_bddCompose^⚠

Cudd_bddComputeCube^⚠

Cudd_bddConstrain^⚠

Cudd_bddConstrainDecomp^⚠

Cudd_bddCorrelation^⚠

Cudd_bddCorrelationWeights^⚠

Cudd_bddExistAbstract^⚠

Cudd_bddExistAbstractLimit^⚠

Cudd_bddGenConjDecomp^⚠

Cudd_bddGenDisjDecomp^⚠

Cudd_bddInterpolate^⚠

Cudd_bddIntersect^⚠

Cudd_bddInterval^⚠

Cudd_bddIsNsVar^⚠

Cudd_bddIsPiVar^⚠

Cudd_bddIsPsVar^⚠

Cudd_bddIsVar^⚠

Cudd_bddIsVarEssential^⚠

Cudd_bddIsVarHardGroup^⚠

Cudd_bddIsVarToBeGrouped^⚠

Cudd_bddIsVarToBeUngrouped^⚠

Cudd_bddIsop^⚠

Cudd_bddIte^⚠

Cudd_bddIteConstant^⚠

Cudd_bddIteLimit^⚠

Cudd_bddIterConjDecomp^⚠

Cudd_bddIterDisjDecomp^⚠

Cudd_bddIthVar^⚠

Cudd_bddLICompaction^⚠

Cudd_bddLargestPrimeUnate^⚠

Cudd_bddLeq^⚠

Cudd_bddLeqUnless^⚠

Cudd_bddLiteralSetIntersection^⚠

Cudd_bddMakePrime^⚠

Cudd_bddMaximallyExpand^⚠

Cudd_bddMinimize^⚠

Cudd_bddNPAnd^⚠

Cudd_bddNand^⚠

Cudd_bddNewVar^⚠

Cudd_bddNewVarAtLevel^⚠

Cudd_bddNor^⚠

Cudd_bddOr^⚠

Cudd_bddOrLimit^⚠

Cudd_bddPermute^⚠

Cudd_bddPickArbitraryMinterms^⚠

Cudd_bddPickOneCube^⚠

Cudd_bddPickOneMinterm^⚠

Cudd_bddPrintCover^⚠

Cudd_bddRead^⚠

Cudd_bddReadPairIndex^⚠

Cudd_bddRealignDisable^⚠

Cudd_bddRealignEnable^⚠

Cudd_bddRealignmentEnabled^⚠

Cudd_bddResetVarToBeGrouped^⚠

Cudd_bddRestrict^⚠

Cudd_bddSetNsVar^⚠

Cudd_bddSetPairIndex^⚠

Cudd_bddSetPiVar^⚠

Cudd_bddSetPsVar^⚠

Cudd_bddSetVarHardGroup^⚠

Cudd_bddSetVarToBeGrouped^⚠

Cudd_bddSetVarToBeUngrouped^⚠

Cudd_bddSqueeze^⚠

Cudd_bddSwapVariables^⚠

Cudd_bddTransfer^⚠

Cudd_bddUnbindVar^⚠

Cudd_bddUnivAbstract^⚠

Cudd_bddVarConjDecomp^⚠

Cudd_bddVarDisjDecomp^⚠

Cudd_bddVarIsBound^⚠

Cudd_bddVarIsDependent^⚠

Cudd_bddVarMap^⚠

Cudd_bddVectorCompose^⚠

Cudd_bddXnor^⚠

Cudd_bddXnorLimit^⚠

Cudd_bddXor^⚠

Cudd_bddXorExistAbstract^⚠

Cudd_tlcInfoFree^⚠

Cudd_zddChange^⚠

Cudd_zddComplement^⚠

Cudd_zddCount^⚠

Cudd_zddCountDouble^⚠

Cudd_zddCountMinterm^⚠

Cudd_zddCoverPathToString^⚠

Cudd_zddDagSize^⚠

Cudd_zddDiff^⚠

Cudd_zddDiffConst^⚠

Cudd_zddDivide^⚠

Cudd_zddDivideF^⚠

Cudd_zddDumpDot^⚠

Cudd_zddFirstPath^⚠

Cudd_zddForeachPath^⚠

Iterates over the paths of a ZDD f.

Cudd_zddIntersect^⚠

Cudd_zddIsop^⚠

Cudd_zddIte^⚠

Cudd_zddIthVar^⚠

Cudd_zddNextPath^⚠

Cudd_zddPortFromBdd^⚠

Cudd_zddPortToBdd^⚠

Cudd_zddPrintCover^⚠

Cudd_zddPrintDebug^⚠

Cudd_zddPrintMinterm^⚠

Cudd_zddPrintSubtable^⚠

Cudd_zddProduct^⚠

Cudd_zddReadNodeCount^⚠

Cudd_zddRealignDisable^⚠

Cudd_zddRealignEnable^⚠

Cudd_zddRealignmentEnabled^⚠

Cudd_zddReduceHeap^⚠

Cudd_zddShuffleHeap^⚠

Cudd_zddSubset0^⚠

Cudd_zddSubset1^⚠

Cudd_zddSupport^⚠

Cudd_zddSymmProfile^⚠

Cudd_zddUnateProduct^⚠

Cudd_zddUnion^⚠

Cudd_zddVarsFromBddVars^⚠

Cudd_zddWeakDiv^⚠

Cudd_zddWeakDivF^⚠

Type Aliases

CUDD_VALUE_TYPE

Type of the value of a terminal node.

DD_APPLY_OPERATOR

Type of the apply operator function.

DD_HOOK_FUNCTION

Type of the hook function.

DD_MONADIC_APPLY_OPERATOR

Type of the monadic apply operator function.

DD_OUT_OF_MEMORY_FUNCTION

Type of the out-of-memory function.

DD_PRIORITY_FUNCTION

Type of the priority function.

DD_TERMINATION_HANDLER

Type of the termination handler function.

DD_TIME_OUT_HANDLER

Type of the time-out handler function.