Crate cudd_sys [−] [src]

Structs

Enums

Cudd_AggregationType
Cudd_ErrorType
Cudd_HookType
Cudd_LazyGroupType
Cudd_ReorderingType
Cudd_VariableType

Statics

CUDD_CACHE_SLOTS
CUDD_FALSE
CUDD_OUT_OF_MEM
CUDD_RESIDUE_DEFAULT
CUDD_RESIDUE_MSB
CUDD_RESIDUE_TC
CUDD_TRUE
CUDD_UNIQUE_SLOTS

Functions

Cudd_ApaNumberOfDigits ^⚠
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_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_EnableGarbageCollection ^⚠
Cudd_EnableOrderingMonitoring ^⚠
Cudd_EnableReorderingReporting ^⚠
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_FreeTree ^⚠
Cudd_FreeZddTree ^⚠
Cudd_GarbageCollectionEnabled ^⚠
Cudd_GenFree ^⚠
Cudd_IncreaseTimeLimit ^⚠
Cudd_Increasing ^⚠
Cudd_IndicesToCube ^⚠
Cudd_Inequality ^⚠
Cudd_Init ^⚠
Cudd_IsGenEmpty ^⚠
Cudd_IsNonConstant ^⚠
Cudd_IterDerefBdd ^⚠
Cudd_LargestCube ^⚠
Cudd_MakeBddFromZddCover ^⚠
Cudd_MakeTreeNode ^⚠
Cudd_MakeZddTreeNode ^⚠
Cudd_MinHammingDist ^⚠
Cudd_NextCube ^⚠
Cudd_NextNode ^⚠
Cudd_NextPrime ^⚠
Cudd_NodeReadIndex ^⚠
Cudd_OrderingMonitoring ^⚠
Cudd_OutOfMem ^⚠
Cudd_OverApprox ^⚠
Cudd_Prime ^⚠
Cudd_PrintDebug ^⚠
Cudd_PrintGroupedOrder ^⚠
Cudd_PrintInfo ^⚠
Cudd_PrintLinear ^⚠
Cudd_PrintMinterm ^⚠
Cudd_PrintTwoLiteralClauses ^⚠
Cudd_PrintVersion ^⚠
Cudd_Quit ^⚠
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_ReadInvPerm ^⚠
Cudd_ReadInvPermZdd ^⚠
Cudd_ReadIthClause ^⚠
Cudd_ReadKeys ^⚠
Cudd_ReadLinear ^⚠
Cudd_ReadLogicZero ^⚠
Cudd_ReadLooseUpTo ^⚠
Cudd_ReadMaxCache ^⚠
Cudd_ReadMaxCacheHard ^⚠
Cudd_ReadMaxGrowth ^⚠
Cudd_ReadMaxGrowthAlternate ^⚠
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_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_RemapOverApprox ^⚠
Cudd_RemapUnderApprox ^⚠
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_TimeLimited ^⚠
Cudd_TurnOffCountDead ^⚠
Cudd_TurnOnCountDead ^⚠
Cudd_UnderApprox ^⚠
Cudd_UnregisterTerminationCallback ^⚠
Cudd_UnsetTimeLimit ^⚠
Cudd_UpdateTimeLimit ^⚠
Cudd_VectorSupport ^⚠
Cudd_VectorSupportIndex ^⚠
Cudd_VectorSupportIndices ^⚠
Cudd_VectorSupportSize ^⚠
Cudd_VerifySol ^⚠
Cudd_Xeqy ^⚠
Cudd_Xgty ^⚠
Cudd_addAgreement ^⚠
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_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_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_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_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 Definitions

CUDD_VALUE_TYPE
DdGen
DdHalfWord
DdManager
DdTlcInfo
MtrNode