Crate cudd2_sys

Crate cudd2_sys 

Source

Structs§

DdChildren
DdGen
DdManager
DdNode
DdTlcInfo
EpDoubleStruct
IeeeDoubleStruct
IeeeNanStruct
__BindgenBitfieldUnit

Constants§

CUDD_CACHE_SLOTS
CUDD_CONST_INDEX
CUDD_FALSE
CUDD_MAXINDEX
CUDD_OUT_OF_MEM
CUDD_RESIDUE_DEFAULT
CUDD_RESIDUE_MSB
CUDD_RESIDUE_TC
CUDD_TRUE
CUDD_UNIQUE_SLOTS
CUDD_VERSION
Cudd_AggregationType_CUDD_GROUP_CHECK
Cudd_AggregationType_CUDD_GROUP_CHECK2
Cudd_AggregationType_CUDD_GROUP_CHECK3
Cudd_AggregationType_CUDD_GROUP_CHECK4
Cudd_AggregationType_CUDD_GROUP_CHECK5
Cudd_AggregationType_CUDD_GROUP_CHECK6
Cudd_AggregationType_CUDD_GROUP_CHECK7
Cudd_AggregationType_CUDD_GROUP_CHECK8
Cudd_AggregationType_CUDD_GROUP_CHECK9
Cudd_AggregationType_CUDD_NO_CHECK
Cudd_ErrorType_CUDD_INTERNAL_ERROR
Cudd_ErrorType_CUDD_INVALID_ARG
Cudd_ErrorType_CUDD_MAX_MEM_EXCEEDED
Cudd_ErrorType_CUDD_MEMORY_OUT
Cudd_ErrorType_CUDD_NO_ERROR
Cudd_ErrorType_CUDD_TERMINATION
Cudd_ErrorType_CUDD_TIMEOUT_EXPIRED
Cudd_ErrorType_CUDD_TOO_MANY_NODES
Cudd_HookType_CUDD_POST_GC_HOOK
Cudd_HookType_CUDD_POST_REORDERING_HOOK
Cudd_HookType_CUDD_PRE_GC_HOOK
Cudd_HookType_CUDD_PRE_REORDERING_HOOK
Cudd_LazyGroupType_CUDD_LAZY_HARD_GROUP
Cudd_LazyGroupType_CUDD_LAZY_NONE
Cudd_LazyGroupType_CUDD_LAZY_SOFT_GROUP
Cudd_LazyGroupType_CUDD_LAZY_UNGROUP
Cudd_ReorderingType_CUDD_REORDER_ANNEALING
Cudd_ReorderingType_CUDD_REORDER_EXACT
Cudd_ReorderingType_CUDD_REORDER_GENETIC
Cudd_ReorderingType_CUDD_REORDER_GROUP_SIFT
Cudd_ReorderingType_CUDD_REORDER_GROUP_SIFT_CONV
Cudd_ReorderingType_CUDD_REORDER_LAZY_SIFT
Cudd_ReorderingType_CUDD_REORDER_LINEAR
Cudd_ReorderingType_CUDD_REORDER_LINEAR_CONVERGE
Cudd_ReorderingType_CUDD_REORDER_NONE
Cudd_ReorderingType_CUDD_REORDER_RANDOM
Cudd_ReorderingType_CUDD_REORDER_RANDOM_PIVOT
Cudd_ReorderingType_CUDD_REORDER_SAME
Cudd_ReorderingType_CUDD_REORDER_SIFT
Cudd_ReorderingType_CUDD_REORDER_SIFT_CONVERGE
Cudd_ReorderingType_CUDD_REORDER_SYMM_SIFT
Cudd_ReorderingType_CUDD_REORDER_SYMM_SIFT_CONV
Cudd_ReorderingType_CUDD_REORDER_WINDOW2
Cudd_ReorderingType_CUDD_REORDER_WINDOW3
Cudd_ReorderingType_CUDD_REORDER_WINDOW4
Cudd_ReorderingType_CUDD_REORDER_WINDOW2_CONV
Cudd_ReorderingType_CUDD_REORDER_WINDOW3_CONV
Cudd_ReorderingType_CUDD_REORDER_WINDOW4_CONV
Cudd_VariableType_CUDD_VAR_NEXT_STATE
Cudd_VariableType_CUDD_VAR_PRESENT_STATE
Cudd_VariableType_CUDD_VAR_PRIMARY_INPUT
DD_APA_BASE
DD_APA_BITS
DD_APA_HEXPRINT
DD_APA_MASK
EPD_EXP_INF
EPD_MAX_BIN
EPD_MAX_DEC
MTR_DEFAULT
MTR_FIXED
MTR_NEWNODE
MTR_SOFT
MTR_TERMINAL
SIZEOF_INT
SIZEOF_LONG
SIZEOF_VOID_P

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_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_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_EpdCountMinterm
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_GarbageCollectionEnabled
Cudd_GenFree
Cudd_IncreaseTimeLimit
Cudd_Increasing
Cudd_IndicesToCube
Cudd_Inequality
Cudd_Init
Cudd_IsGenEmpty
Cudd_IsInHook
Cudd_IsNonConstant
Cudd_IterDerefBdd
Cudd_LargestCube
Cudd_MakeBddFromZddCover
Cudd_MinHammingDist
Cudd_NewApaNumber
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_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_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_ReadUniqueLinks
Cudd_ReadUniqueLookUps
Cudd_ReadUsedSlots
Cudd_ReadVars
Cudd_ReadZddOne
Cudd_ReadZddSize
Cudd_ReadZero
Cudd_RecursiveDeref
Cudd_RecursiveDerefZdd
Cudd_ReduceHeap
Cudd_Ref
Cudd_RegisterTerminationCallback
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_SetVarMap
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_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
AutomaticStart
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_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_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
EpdAdd
EpdAdd2
EpdAdd3
EpdAlloc
AutomaticStart
EpdCmp
EpdConvert
EpdCopy
EpdDivide
EpdDivide2
EpdDivide3
EpdFree
EpdGetExponent
EpdGetExponentDecimal
EpdGetString
EpdGetValueAndDecimalExponent
EpdIsInf
EpdIsNan
EpdIsNanOrInf
EpdIsZero
EpdMakeInf
EpdMakeNan
EpdMakeZero
EpdMultiply
EpdMultiply2
EpdMultiply3
EpdMultiply2Decimal
EpdMultiply3Decimal
EpdNormalize
EpdNormalizeDecimal
EpdPow2
EpdPow2Decimal
EpdSubtract
EpdSubtract2
EpdSubtract3
IsInfDouble
IsNanDouble
IsNanOrInfDouble

Type Aliases§

Cudd_AggregationType
Enum************************************************************************
Cudd_ErrorType
Enum************************************************************************
Cudd_HookType
Enum************************************************************************
Cudd_LazyGroupType
Enum************************************************************************
Cudd_ReorderingType
Enum************************************************************************
Cudd_VariableType
Enum************************************************************************
DD_AOP
DD_CTFP
DD_CTFP1
DD_HFP
DD_MAOP
DD_OOMFP
DD_PRFP
DD_QSFP
DD_THFP
DdApaDigit
DdApaDoubleDigit
DdApaNumber
DdHalfWord
EpDouble
EpType
Struct**********************************************************************
IeeeDouble
IeeeNan

Unions§

DdNode__bindgen_ty_1
EpTypeUnion
Struct**********************************************************************