prefix_internal.h File Reference

Go to the source code of this file.

## Macros

#define | Cudd_IsNonConstant pbori_Cudd_IsNonConstant
#define | Cudd_ReadStartTime pbori_Cudd_ReadStartTime
#define | Cudd_SetStartTime pbori_Cudd_SetStartTime
#define | Cudd_ReadTimeLimit pbori_Cudd_ReadTimeLimit
#define | Cudd_SetTimeLimit pbori_Cudd_SetTimeLimit
#define | Cudd_IncreaseTimeLimit pbori_Cudd_IncreaseTimeLimit
#define | Cudd_UnsetTimeLimit pbori_Cudd_UnsetTimeLimit
#define | Cudd_TimeLimited pbori_Cudd_TimeLimited
#define | Cudd_AutodynDisable pbori_Cudd_AutodynDisable
#define | Cudd_ReorderingStatus pbori_Cudd_ReorderingStatus
#define | Cudd_AutodynEnableZdd pbori_Cudd_AutodynEnableZdd
#define | Cudd_AutodynDisableZdd pbori_Cudd_AutodynDisableZdd
#define | Cudd_ReorderingStatusZdd pbori_Cudd_ReorderingStatusZdd
#define | Cudd_zddRealignmentEnabled pbori_Cudd_zddRealignmentEnabled
#define | Cudd_zddRealignEnable pbori_Cudd_zddRealignEnable
#define | Cudd_zddRealignDisable pbori_Cudd_zddRealignDisable
#define | Cudd_bddRealignmentEnabled pbori_Cudd_bddRealignmentEnabled
#define | Cudd_bddRealignEnable pbori_Cudd_bddRealignEnable
#define | Cudd_bddRealignDisable pbori_Cudd_bddRealignDisable
#define | Cudd_ReadOne pbori_Cudd_ReadOne
#define | Cudd_ReadZddOne pbori_Cudd_ReadZddOne
#define | Cudd_ReadZero pbori_Cudd_ReadZero
#define | Cudd_ReadLogicZero pbori_Cudd_ReadLogicZero
#define | Cudd_ReadPlusInfinity pbori_Cudd_ReadPlusInfinity
#define | Cudd_ReadMinusInfinity pbori_Cudd_ReadMinusInfinity
#define | Cudd_ReadBackground pbori_Cudd_ReadBackground
#define | Cudd_SetBackground pbori_Cudd_SetBackground
#define | Cudd_ReadCacheSlots pbori_Cudd_ReadCacheSlots
#define | Cudd_ReadCacheUsedSlots pbori_Cudd_ReadCacheUsedSlots
#define | Cudd_ReadCacheLookUps pbori_Cudd_ReadCacheLookUps
#define | Cudd_ReadCacheHits pbori_Cudd_ReadCacheHits
#define | Cudd_ReadRecursiveCalls pbori_Cudd_ReadRecursiveCalls
#define | Cudd_ReadMinHit pbori_Cudd_ReadMinHit
#define | Cudd_SetMinHit pbori_Cudd_SetMinHit
#define | Cudd_ReadLooseUpTo pbori_Cudd_ReadLooseUpTo
#define | Cudd_SetLooseUpTo pbori_Cudd_SetLooseUpTo
#define | Cudd_ReadMaxCache pbori_Cudd_ReadMaxCache
#define | Cudd_ReadMaxCacheHard pbori_Cudd_ReadMaxCacheHard
#define | Cudd_SetMaxCacheHard pbori_Cudd_SetMaxCacheHard
#define | Cudd_ReadSize pbori_Cudd_ReadSize
#define | Cudd_ReadZddSize pbori_Cudd_ReadZddSize
#define | Cudd_ReadSlots pbori_Cudd_ReadSlots
#define | Cudd_ReadUsedSlots pbori_Cudd_ReadUsedSlots
#define | Cudd_ReadKeys pbori_Cudd_ReadKeys
#define | Cudd_ReadDead pbori_Cudd_ReadDead
#define | Cudd_ReadMinDead pbori_Cudd_ReadMinDead
#define | Cudd_ReadReorderings pbori_Cudd_ReadReorderings
#define | Cudd_ReadMaxReorderings pbori_Cudd_ReadMaxReorderings
#define | Cudd_SetMaxReorderings pbori_Cudd_SetMaxReorderings
#define | Cudd_ReadReorderingTime pbori_Cudd_ReadReorderingTime
#define | Cudd_ReadGarbageCollections pbori_Cudd_ReadGarbageCollections
#define | Cudd_ReadGarbageCollectionTime pbori_Cudd_ReadGarbageCollectionTime
#define | Cudd_ReadNodesFreed pbori_Cudd_ReadNodesFreed
#define | Cudd_ReadNodesDropped pbori_Cudd_ReadNodesDropped
#define | Cudd_ReadUniqueLookUps pbori_Cudd_ReadUniqueLookUps
#define | Cudd_ReadUniqueLinks pbori_Cudd_ReadUniqueLinks
#define | Cudd_ReadSiftMaxVar pbori_Cudd_ReadSiftMaxVar
#define | Cudd_SetSiftMaxVar pbori_Cudd_SetSiftMaxVar
#define | Cudd_ReadSiftMaxSwap pbori_Cudd_ReadSiftMaxSwap
#define | Cudd_SetSiftMaxSwap pbori_Cudd_SetSiftMaxSwap
#define | Cudd_ReadMaxGrowth pbori_Cudd_ReadMaxGrowth
#define | Cudd_SetMaxGrowth pbori_Cudd_SetMaxGrowth
#define | Cudd_ReadMaxGrowthAlternate pbori_Cudd_ReadMaxGrowthAlternate
#define | Cudd_SetMaxGrowthAlternate pbori_Cudd_SetMaxGrowthAlternate
#define | Cudd_ReadReorderingCycle pbori_Cudd_ReadReorderingCycle
#define | Cudd_SetReorderingCycle pbori_Cudd_SetReorderingCycle
#define | Cudd_NodeReadIndex pbori_Cudd_NodeReadIndex
#define | Cudd_ReadPerm pbori_Cudd_ReadPerm
#define | Cudd_ReadPermZdd pbori_Cudd_ReadPermZdd
#define | Cudd_ReadInvPerm pbori_Cudd_ReadInvPerm
#define | Cudd_ReadInvPermZdd pbori_Cudd_ReadInvPermZdd
#define | Cudd_ReadVars pbori_Cudd_ReadVars
#define | Cudd_ReadEpsilon pbori_Cudd_ReadEpsilon
#define | Cudd_SetEpsilon pbori_Cudd_SetEpsilon
#define | Cudd_ReadGroupcheck pbori_Cudd_ReadGroupcheck
#define | Cudd_SetGroupcheck pbori_Cudd_SetGroupcheck
#define | Cudd_GarbageCollectionEnabled pbori_Cudd_GarbageCollectionEnabled
#define | Cudd_EnableGarbageCollection pbori_Cudd_EnableGarbageCollection
#define | Cudd_DisableGarbageCollection pbori_Cudd_DisableGarbageCollection
#define | Cudd_DeadAreCounted pbori_Cudd_DeadAreCounted
#define | Cudd_TurnOnCountDead pbori_Cudd_TurnOnCountDead
#define | Cudd_TurnOffCountDead pbori_Cudd_TurnOffCountDead
#define | Cudd_ReadRecomb pbori_Cudd_ReadRecomb
#define | Cudd_SetRecomb pbori_Cudd_SetRecomb
#define | Cudd_ReadSymmviolation pbori_Cudd_ReadSymmviolation
#define | Cudd_SetSymmviolation pbori_Cudd_SetSymmviolation
#define | Cudd_ReadArcviolation pbori_Cudd_ReadArcviolation
#define | Cudd_SetArcviolation pbori_Cudd_SetArcviolation
#define | Cudd_ReadPopulationSize pbori_Cudd_ReadPopulationSize
#define | Cudd_SetPopulationSize pbori_Cudd_SetPopulationSize
#define | Cudd_ReadNumberXovers pbori_Cudd_ReadNumberXovers
#define | Cudd_SetNumberXovers pbori_Cudd_SetNumberXovers
#define | Cudd_ReadOrderRandomization pbori_Cudd_ReadOrderRandomization
#define | Cudd_SetOrderRandomization pbori_Cudd_SetOrderRandomization
#define | Cudd_ReadMemoryInUse pbori_Cudd_ReadMemoryInUse
#define | Cudd_ReadPeakNodeCount pbori_Cudd_ReadPeakNodeCount
#define | Cudd_ReadPeakLiveNodeCount pbori_Cudd_ReadPeakLiveNodeCount
#define | Cudd_zddReadNodeCount pbori_Cudd_zddReadNodeCount
#define | Cudd_IsInHook pbori_Cudd_IsInHook
#define | Cudd_ReorderingReporting pbori_Cudd_ReorderingReporting
#define | Cudd_StdPreReordHook pbori_Cudd_StdPreReordHook
#define | Cudd_ReadErrorCode pbori_Cudd_ReadErrorCode
#define | Cudd_ClearErrorCode pbori_Cudd_ClearErrorCode
#define | Cudd_ReadStdout pbori_Cudd_ReadStdout
#define | Cudd_SetStdout pbori_Cudd_SetStdout
#define | Cudd_ReadStderr pbori_Cudd_ReadStderr
#define | Cudd_SetStderr pbori_Cudd_SetStderr
#define | Cudd_ReadNextReordering pbori_Cudd_ReadNextReordering
#define | Cudd_SetNextReordering pbori_Cudd_SetNextReordering
#define | Cudd_ReadSwapSteps pbori_Cudd_ReadSwapSteps
#define | Cudd_ReadMaxLive pbori_Cudd_ReadMaxLive
#define | Cudd_SetMaxLive pbori_Cudd_SetMaxLive
#define | Cudd_ReadMaxMemory pbori_Cudd_ReadMaxMemory
#define | Cudd_SetMaxMemory pbori_Cudd_SetMaxMemory
#define | Cudd_UpdateTimeLimit pbori_Cudd_UpdateTimeLimit
#define | Cudd_RemoveHook pbori_Cudd_RemoveHook
#define | Cudd_DisableReorderingReporting pbori_Cudd_DisableReorderingReporting
#define | Cudd_StdPostReordHook pbori_Cudd_StdPostReordHook
#define | Cudd_ReadNodeCount pbori_Cudd_ReadNodeCount
#define | Cudd_ExpectedUsedSlots pbori_Cudd_ExpectedUsedSlots
#define | Cudd_PrintInfo pbori_Cudd_PrintInfo
#define | Cudd_AutodynEnable pbori_Cudd_AutodynEnable
#define | Cudd_addConst pbori_Cudd_addConst
#define | Cudd_zddIthVar pbori_Cudd_zddIthVar
#define | Cudd_RecursiveDerefZdd pbori_Cudd_RecursiveDerefZdd
#define | Cudd_ResetStartTime pbori_Cudd_ResetStartTime
#define | Cudd_ReadElapsedTime pbori_Cudd_ReadElapsedTime
#define | Cudd_AddHook pbori_Cudd_AddHook
#define | Cudd_EnableReorderingReporting pbori_Cudd_EnableReorderingReporting
#define | Cudd_Quit pbori_Cudd_Quit
#define | Cudd_Init pbori_Cudd_Init
#define | Cudd_RecursiveDeref pbori_Cudd_RecursiveDeref
#define | Cudd_Ref pbori_Cudd_Ref
#define | Cudd_IterDerefBdd pbori_Cudd_IterDerefBdd
#define | Cudd_DelayedDerefBdd pbori_Cudd_DelayedDerefBdd
#define | Cudd_Deref pbori_Cudd_Deref
#define | Cudd_CheckZeroRef pbori_Cudd_CheckZeroRef
#define | Cudd_Prime pbori_Cudd_Prime
#define | Cudd_zddDivideF pbori_Cudd_zddDivideF
#define | Cudd_zddDivide pbori_Cudd_zddDivide
#define | Cudd_zddWeakDiv pbori_Cudd_zddWeakDiv
#define | Cudd_zddWeakDivF pbori_Cudd_zddWeakDivF
#define | Cudd_zddUnateProduct pbori_Cudd_zddUnateProduct
#define | Cudd_zddProduct pbori_Cudd_zddProduct
#define | Cudd_zddSubset0 pbori_Cudd_zddSubset0
#define | Cudd_zddSubset1 pbori_Cudd_zddSubset1
#define | Cudd_zddChange pbori_Cudd_zddChange
#define | Cudd_zddDiff pbori_Cudd_zddDiff
#define | Cudd_zddIntersect pbori_Cudd_zddIntersect
#define | Cudd_zddUnion pbori_Cudd_zddUnion
#define | Cudd_zddDiffConst pbori_Cudd_zddDiffConst
#define | Cudd_zddIte pbori_Cudd_zddIte
#define | cuddClearDeathRow pbori_cuddClearDeathRow
#define | cuddCacheProfile pbori_cuddCacheProfile
#define | cuddUniqueConst pbori_cuddUniqueConst
#define | cuddUniqueInterZdd pbori_cuddUniqueInterZdd
#define | cuddCacheInsert pbori_cuddCacheInsert
#define | cuddCacheInsert2 pbori_cuddCacheInsert2
#define | cuddCacheInsert1 pbori_cuddCacheInsert1
#define | cuddCacheFlush pbori_cuddCacheFlush
#define | cuddComputeFloorLog2 pbori_cuddComputeFloorLog2
#define | cuddCacheResize pbori_cuddCacheResize
#define | cuddConstantLookup pbori_cuddConstantLookup
#define | cuddCacheLookup1Zdd pbori_cuddCacheLookup1Zdd
#define | cuddReclaimZdd pbori_cuddReclaimZdd
#define | cuddCacheLookup2Zdd pbori_cuddCacheLookup2Zdd
#define | cuddCacheLookupZdd pbori_cuddCacheLookupZdd
#define | cuddCacheLookup1 pbori_cuddCacheLookup1
#define | cuddReclaim pbori_cuddReclaim
#define | cuddCacheLookup2 pbori_cuddCacheLookup2
#define | cuddCacheLookup pbori_cuddCacheLookup
#define | cuddInitCache pbori_cuddInitCache
#define | cuddZddFreeUniv pbori_cuddZddFreeUniv
#define | cuddFreeTable pbori_cuddFreeTable
#define | cuddZddInitUniv pbori_cuddZddInitUniv
#define | cuddInitTable pbori_cuddInitTable
#define | cuddUniqueInter pbori_cuddUniqueInter
#define | cuddLocalCacheClearDead pbori_cuddLocalCacheClearDead
#define | cuddHashTableLookup pbori_cuddHashTableLookup
#define | cuddHashTableLookup1 pbori_cuddHashTableLookup1
#define | cuddHashTableGenericLookup pbori_cuddHashTableGenericLookup
#define | cuddHashTableLookup2 pbori_cuddHashTableLookup2
#define | cuddHashTableLookup3 pbori_cuddHashTableLookup3
#define | cuddLocalCacheClearAll pbori_cuddLocalCacheClearAll
#define | cuddHashTableGenericQuit pbori_cuddHashTableGenericQuit
#define | cuddLocalCacheQuit pbori_cuddLocalCacheQuit
#define | cuddHashTableQuit pbori_cuddHashTableQuit
#define | cuddLocalCacheInsert pbori_cuddLocalCacheInsert
#define | cuddLocalCacheLookup pbori_cuddLocalCacheLookup
#define | cuddHashTableInsert pbori_cuddHashTableInsert
#define | cuddHashTableInit pbori_cuddHashTableInit
#define | cuddLocalCacheInit pbori_cuddLocalCacheInit
#define | cuddHashTableInsert3 pbori_cuddHashTableInsert3
#define | cuddHashTableInsert2 pbori_cuddHashTableInsert2
#define | cuddHashTableGenericInsert pbori_cuddHashTableGenericInsert
#define | cuddHashTableInsert1 pbori_cuddHashTableInsert1
#define | cuddIsInDeathRow pbori_cuddIsInDeathRow
#define | cuddTimesInDeathRow pbori_cuddTimesInDeathRow
#define | cuddShrinkDeathRow pbori_cuddShrinkDeathRow
#define | cuddSlowTableGrowth pbori_cuddSlowTableGrowth
#define | cuddResizeTableZdd pbori_cuddResizeTableZdd
#define | cuddGarbageCollect pbori_cuddGarbageCollect
#define | cuddRehash pbori_cuddRehash
#define | cuddAllocNode pbori_cuddAllocNode
#define | cuddZddGetPosVarIndex pbori_cuddZddGetPosVarIndex
#define | cuddZddGetNode pbori_cuddZddGetNode
#define | cuddZddGetNegVarIndex pbori_cuddZddGetNegVarIndex
#define | cuddZddGetPosVarLevel pbori_cuddZddGetPosVarLevel
#define | cuddZddGetNegVarLevel pbori_cuddZddGetNegVarLevel
#define | cuddZddGetCofactors2 pbori_cuddZddGetCofactors2
#define | cuddZddSubset1 pbori_cuddZddSubset1
#define | cuddZddSubset0 pbori_cuddZddSubset0
#define | cuddZddGetCofactors3 pbori_cuddZddGetCofactors3
#define | cuddZddDivideF pbori_cuddZddDivideF
#define | cuddZddIntersect pbori_cuddZddIntersect
#define | cuddZddDivide pbori_cuddZddDivide
#define | cuddZddWeakDiv pbori_cuddZddWeakDiv
#define | cuddZddWeakDivF pbori_cuddZddWeakDivF
#define | cuddZddUnateProduct pbori_cuddZddUnateProduct
#define | cuddZddUnion pbori_cuddZddUnion
#define | cuddZddProduct pbori_cuddZddProduct
#define | cuddZddChangeAux pbori_cuddZddChangeAux
#define | cuddZddChange pbori_cuddZddChange
#define | cuddZddDiff pbori_cuddZddDiff
#define | cuddZddIte pbori_cuddZddIte
#define | cuddHashTableResize pbori_cuddHashTableResize
#define | zdd_subset0_aux pbori_zdd_subset0_aux
#define | zdd_subset1_aux pbori_zdd_subset1_aux
#define | MMalloc pbori_MMalloc
#define | MMrealloc pbori_MMrealloc
#define | MMfree pbori_MMfree
#define | MMoutOfMemory pbori_MMoutOfMemory
#define | MMout_of_memory pbori_MMout_of_memory
#define | DdManager pbori_DdManager

## Detailed Description

Author
  Alexander Dreyer

Date
  2012-02-15

This file includes some macro definitions

Note
  It is intended to be included by the ``.c files of the CUDD fork coming with PolyBoRi only. It prefixes CUDD's symbols with `pbori_` to avoid name clashing and errorous linking of third party code to `libpolybori` (instead of `libcudd`).

Copyright:
  (c) 2012 by The PolyBoRi Team

## Macro Definition Documentation

#define Cudd_addConst pbori_Cudd_addConst

#define Cudd_AddHook pbori_Cudd_AddHook

#define Cudd_AutodynDisable pbori_Cudd_AutodynDisable

#define Cudd_AutodynDisableZdd pbori_Cudd_AutodynDisableZdd

#define Cudd_AutodynEnable pbori_Cudd_AutodynEnable

#define Cudd_AutodynEnableZdd pbori_Cudd_AutodynEnableZdd

#define Cudd_bddRealignDisable pbori_Cudd_bddRealignDisable

#define Cudd_bddRealignEnable pbori_Cudd_bddRealignEnable

#define Cudd_bddRealignmentEnabled pbori_Cudd_bddRealignmentEnabled

#define Cudd_CheckZeroRef pbori_Cudd_CheckZeroRef

Referenced by intrusive_ptr_release().

#define Cudd_ClearErrorCode pbori_Cudd_ClearErrorCode

#define Cudd_DeadAreCounted pbori_Cudd_DeadAreCounted

#define Cudd_DelayedDerefBdd pbori_Cudd_DelayedDerefBdd

#define Cudd_Deref pbori_Cudd_Deref

Referenced by polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::cudd_generate_divisors(), polybori::cudd_generate_divisors(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::cudd_generate_multiples(), polybori::cudd_generate_multiples(), polybori::dec_ref(), polybori::CCuddNavigator::decRef(), polybori::CCacheManBase< ManagerType, CacheType, 1 >::insert(), polybori::CCacheManBase< ManagerType, CacheType, 2 >::insert(), polybori::CCacheManBase< ManagerType, CacheType, 3 >::insert(), and polybori::pboriCuddZddUnionXor().

#define Cudd_DisableGarbageCollection pbori_Cudd_DisableGarbageCollection

#define Cudd_DisableReorderingReporting pbori_Cudd_DisableReorderingReporting

#define Cudd_EnableGarbageCollection pbori_Cudd_EnableGarbageCollection

#define Cudd_EnableReorderingReporting pbori_Cudd_EnableReorderingReporting

#define Cudd_ExpectedUsedSlots pbori_Cudd_ExpectedUsedSlots

#define Cudd_GarbageCollectionEnabled pbori_Cudd_GarbageCollectionEnabled

#define Cudd_IncreaseTimeLimit pbori_Cudd_IncreaseTimeLimit

#define Cudd_Init pbori_Cudd_Init

Referenced by polybori::CCuddInterface::init().

#define Cudd_IsInHook pbori_Cudd_IsInHook

#define Cudd_IsNonConstant pbori_Cudd_IsNonConstant

#define Cudd_IterDerefBdd pbori_Cudd_IterDerefBdd

#define Cudd_NodeReadIndex pbori_Cudd_NodeReadIndex

Referenced by polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::rootIndex().

#define Cudd_Prime pbori_Cudd_Prime

#define Cudd_PrintInfo pbori_Cudd_PrintInfo

Referenced by polybori::BoolePolyRing::print().

#define Cudd_Quit pbori_Cudd_Quit

Referenced by intrusive_ptr_release().

#define Cudd_ReadArcviolation pbori_Cudd_ReadArcviolation

#define Cudd_ReadBackground pbori_Cudd_ReadBackground

#define Cudd_ReadCacheHits pbori_Cudd_ReadCacheHits

#define Cudd_ReadCacheLookUps pbori_Cudd_ReadCacheLookUps

#define Cudd_ReadCacheSlots pbori_Cudd_ReadCacheSlots

#define Cudd_ReadCacheUsedSlots pbori_Cudd_ReadCacheUsedSlots

#define Cudd_ReadDead pbori_Cudd_ReadDead

#define Cudd_ReadElapsedTime pbori_Cudd_ReadElapsedTime

#define Cudd_ReadEpsilon pbori_Cudd_ReadEpsilon

#define Cudd_ReadErrorCode pbori_Cudd_ReadErrorCode

Referenced by error_text().

#define Cudd_ReadGarbageCollections pbori_Cudd_ReadGarbageCollections

#define Cudd_ReadGarbageCollectionTime pbori_Cudd_ReadGarbageCollectionTime

#define Cudd_ReadGroupcheck pbori_Cudd_ReadGroupcheck

#define Cudd_ReadInvPerm pbori_Cudd_ReadInvPerm

#define Cudd_ReadInvPermZdd pbori_Cudd_ReadInvPermZdd

#define Cudd_ReadKeys pbori_Cudd_ReadKeys

#define Cudd_ReadLogicZero pbori_Cudd_ReadLogicZero

#define Cudd_ReadLooseUpTo pbori_Cudd_ReadLooseUpTo

#define Cudd_ReadMaxCache pbori_Cudd_ReadMaxCache

#define Cudd_ReadMaxCacheHard pbori_Cudd_ReadMaxCacheHard

#define Cudd_ReadMaxGrowth pbori_Cudd_ReadMaxGrowth

#define Cudd_ReadMaxGrowthAlternate pbori_Cudd_ReadMaxGrowthAlternate

#define Cudd_ReadMaxLive pbori_Cudd_ReadMaxLive

#define Cudd_ReadMaxMemory pbori_Cudd_ReadMaxMemory

#define Cudd_ReadMaxReorderings pbori_Cudd_ReadMaxReorderings

#define Cudd_ReadMemoryInUse pbori_Cudd_ReadMemoryInUse

#define Cudd_ReadMinDead pbori_Cudd_ReadMinDead

#define Cudd_ReadMinHit pbori_Cudd_ReadMinHit

#define Cudd_ReadMinusInfinity pbori_Cudd_ReadMinusInfinity

#define Cudd_ReadNextReordering pbori_Cudd_ReadNextReordering

#define Cudd_ReadNodeCount pbori_Cudd_ReadNodeCount

#define Cudd_ReadNodesDropped pbori_Cudd_ReadNodesDropped

#define Cudd_ReadNodesFreed pbori_Cudd_ReadNodesFreed

#define Cudd_ReadNumberXovers pbori_Cudd_ReadNumberXovers

#define Cudd_ReadOne pbori_Cudd_ReadOne

#define Cudd_ReadOrderRandomization pbori_Cudd_ReadOrderRandomization

#define Cudd_ReadPeakLiveNodeCount pbori_Cudd_ReadPeakLiveNodeCount

#define Cudd_ReadPeakNodeCount pbori_Cudd_ReadPeakNodeCount

#define Cudd_ReadPerm pbori_Cudd_ReadPerm

#define Cudd_ReadPermZdd pbori_Cudd_ReadPermZdd

#define Cudd_ReadPlusInfinity pbori_Cudd_ReadPlusInfinity

#define Cudd_ReadPopulationSize pbori_Cudd_ReadPopulationSize

#define Cudd_ReadRecomb pbori_Cudd_ReadRecomb

#define Cudd_ReadRecursiveCalls pbori_Cudd_ReadRecursiveCalls

#define Cudd_ReadReorderingCycle pbori_Cudd_ReadReorderingCycle

#define Cudd_ReadReorderings pbori_Cudd_ReadReorderings

#define Cudd_ReadReorderingTime pbori_Cudd_ReadReorderingTime

#define Cudd_ReadSiftMaxSwap pbori_Cudd_ReadSiftMaxSwap

#define Cudd_ReadSiftMaxVar pbori_Cudd_ReadSiftMaxVar

#define Cudd_ReadSize pbori_Cudd_ReadSize

#define Cudd_ReadSlots pbori_Cudd_ReadSlots

#define Cudd_ReadStartTime pbori_Cudd_ReadStartTime

#define Cudd_ReadStderr pbori_Cudd_ReadStderr

#define Cudd_ReadStdout pbori_Cudd_ReadStdout

#define Cudd_ReadSwapSteps pbori_Cudd_ReadSwapSteps

#define Cudd_ReadSymmviolation pbori_Cudd_ReadSymmviolation

#define Cudd_ReadTimeLimit pbori_Cudd_ReadTimeLimit

#define Cudd_ReadUniqueLinks pbori_Cudd_ReadUniqueLinks

#define Cudd_ReadUniqueLookUps pbori_Cudd_ReadUniqueLookUps

#define Cudd_ReadUsedSlots pbori_Cudd_ReadUsedSlots

#define Cudd_ReadVars pbori_Cudd_ReadVars

#define Cudd_ReadZddOne pbori_Cudd_ReadZddOne

Referenced by polybori::CCuddInterface::zddOne().

#define Cudd_ReadZddSize pbori_Cudd_ReadZddSize

#define Cudd_ReadZero pbori_Cudd_ReadZero

Referenced by polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::isZero(), polybori::dd_operations< CCuddNavigator >::productAssign(), and polybori::CCuddInterface::zddZero().

#define Cudd_RecursiveDeref pbori_Cudd_RecursiveDeref

#define Cudd_RecursiveDerefZdd pbori_Cudd_RecursiveDerefZdd

Referenced by polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::cudd_generate_divisors(), polybori::cudd_generate_divisors(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::cudd_generate_multiples(), polybori::cudd_generate_multiples(), polybori::extrusive_ptr_release(), polybori::pboriCuddZddUnionXor(), polybori::recursive_dec_ref(), polybori::CCuddNavigator::recursiveDecRef(), and polybori::CCuddInterface::recursiveDeref().

#define Cudd_Ref pbori_Cudd_Ref

Referenced by polybori::CCuddInterface::CCuddInterface(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::cudd_generate_divisors(), polybori::cudd_generate_divisors(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::cudd_generate_multiples(), polybori::cudd_generate_multiples(), polybori::extrusive_ptr_add_ref(), polybori::inc_ref(), polybori::CCuddNavigator::incRef(), polybori::CCuddInterface::initVar(), polybori::CCacheManBase< ManagerType, CacheType, 1 >::insert(), polybori::CCacheManBase< ManagerType, CacheType, 2 >::insert(), polybori::CCacheManBase< ManagerType, CacheType, 3 >::insert(), and polybori::pboriCuddZddUnionXor().

#define Cudd_RemoveHook pbori_Cudd_RemoveHook

#define Cudd_ReorderingReporting pbori_Cudd_ReorderingReporting

#define Cudd_ReorderingStatus pbori_Cudd_ReorderingStatus

#define Cudd_ReorderingStatusZdd pbori_Cudd_ReorderingStatusZdd

#define Cudd_ResetStartTime pbori_Cudd_ResetStartTime

#define Cudd_SetArcviolation pbori_Cudd_SetArcviolation

#define Cudd_SetBackground pbori_Cudd_SetBackground

#define Cudd_SetEpsilon pbori_Cudd_SetEpsilon

#define Cudd_SetGroupcheck pbori_Cudd_SetGroupcheck

#define Cudd_SetLooseUpTo pbori_Cudd_SetLooseUpTo

#define Cudd_SetMaxCacheHard pbori_Cudd_SetMaxCacheHard

#define Cudd_SetMaxGrowth pbori_Cudd_SetMaxGrowth

#define Cudd_SetMaxGrowthAlternate pbori_Cudd_SetMaxGrowthAlternate

#define Cudd_SetMaxLive pbori_Cudd_SetMaxLive

#define Cudd_SetMaxMemory pbori_Cudd_SetMaxMemory

#define Cudd_SetMaxReorderings pbori_Cudd_SetMaxReorderings

#define Cudd_SetMinHit pbori_Cudd_SetMinHit

#define Cudd_SetNextReordering pbori_Cudd_SetNextReordering

#define Cudd_SetNumberXovers pbori_Cudd_SetNumberXovers

#define Cudd_SetOrderRandomization pbori_Cudd_SetOrderRandomization

#define Cudd_SetPopulationSize pbori_Cudd_SetPopulationSize

#define Cudd_SetRecomb pbori_Cudd_SetRecomb

#define Cudd_SetReorderingCycle pbori_Cudd_SetReorderingCycle

#define Cudd_SetSiftMaxSwap pbori_Cudd_SetSiftMaxSwap

#define Cudd_SetSiftMaxVar pbori_Cudd_SetSiftMaxVar

#define Cudd_SetStartTime pbori_Cudd_SetStartTime

#define Cudd_SetStderr pbori_Cudd_SetStderr

#define Cudd_SetStdout pbori_Cudd_SetStdout

#define Cudd_SetSymmviolation pbori_Cudd_SetSymmviolation

#define Cudd_SetTimeLimit pbori_Cudd_SetTimeLimit

#define Cudd_StdPostReordHook pbori_Cudd_StdPostReordHook

#define Cudd_StdPreReordHook pbori_Cudd_StdPreReordHook

#define Cudd_TimeLimited pbori_Cudd_TimeLimited

#define Cudd_TurnOffCountDead pbori_Cudd_TurnOffCountDead

#define Cudd_TurnOnCountDead pbori_Cudd_TurnOnCountDead

#define Cudd_UnsetTimeLimit pbori_Cudd_UnsetTimeLimit

#define Cudd_UpdateTimeLimit pbori_Cudd_UpdateTimeLimit

#define Cudd_zddChange pbori_Cudd_zddChange

#define Cudd_zddDiff pbori_Cudd_zddDiff

Referenced by polybori::dd_operations< CCuddNavigator >::diff(), and polybori::dd_operations< CCuddNavigator >::diffAssign().

#define Cudd_zddDiffConst pbori_Cudd_zddDiffConst

#define Cudd_zddDivide pbori_Cudd_zddDivide

#define Cudd_zddDivideF pbori_Cudd_zddDivideF

#define Cudd_zddIntersect pbori_Cudd_zddIntersect

#define Cudd_zddIte pbori_Cudd_zddIte

#define Cudd_zddIthVar pbori_Cudd_zddIthVar

Referenced by polybori::CCuddInterface::zddVar().

#define Cudd_zddProduct pbori_Cudd_zddProduct

#define Cudd_zddReadNodeCount pbori_Cudd_zddReadNodeCount

#define Cudd_zddRealignDisable pbori_Cudd_zddRealignDisable

#define Cudd_zddRealignEnable pbori_Cudd_zddRealignEnable

#define Cudd_zddRealignmentEnabled pbori_Cudd_zddRealignmentEnabled

#define Cudd_zddSubset0 pbori_Cudd_zddSubset0

#define Cudd_zddSubset1 pbori_Cudd_zddSubset1

#define Cudd_zddUnateProduct pbori_Cudd_zddUnateProduct

#define Cudd_zddUnion pbori_Cudd_zddUnion

Referenced by polybori::dd_operations< CCuddNavigator >::replacingUnite(), and polybori::dd_operations< CCuddNavigator >::uniteAssign().

#define Cudd_zddWeakDiv pbori_Cudd_zddWeakDiv

#define Cudd_zddWeakDivF pbori_Cudd_zddWeakDivF

#define cuddAllocNode pbori_cuddAllocNode

#define cuddCacheFlush pbori_cuddCacheFlush

Referenced by polybori::CCuddInterface::cacheFlush().

#define cuddCacheInsert pbori_cuddCacheInsert

Referenced by polybori::CCacheManBase< ManagerType, CacheType, 3 >::insert().

#define cuddCacheInsert1 pbori_cuddCacheInsert1

Referenced by polybori::CCacheManBase< ManagerType, CacheType, 1 >::insert().

#define cuddCacheInsert2 pbori_cuddCacheInsert2

Referenced by polybori::CCacheManBase< ManagerType, CacheType, 2 >::insert(), and polybori::pboriCuddZddUnionXor().

#define cuddCacheLookup pbori_cuddCacheLookup

#define cuddCacheLookup1 pbori_cuddCacheLookup1

#define cuddCacheLookup1Zdd pbori_cuddCacheLookup1Zdd

Referenced by polybori::CCacheManBase< ManagerType, CacheType, 1 >::find().

#define cuddCacheLookup2 pbori_cuddCacheLookup2

#define cuddCacheLookup2Zdd pbori_cuddCacheLookup2Zdd

Referenced by polybori::CCacheManBase< ManagerType, CacheType, 2 >::find(), and polybori::pboriCuddZddUnionXor().

#define cuddCacheLookupZdd pbori_cuddCacheLookupZdd

Referenced by polybori::CCacheManBase< ManagerType, CacheType, 3 >::find().

#define cuddCacheProfile pbori_cuddCacheProfile

#define cuddCacheResize pbori_cuddCacheResize

#define cuddClearDeathRow pbori_cuddClearDeathRow

#define cuddComputeFloorLog2 pbori_cuddComputeFloorLog2

#define cuddConstantLookup pbori_cuddConstantLookup

#define cuddFreeTable pbori_cuddFreeTable

#define cuddGarbageCollect pbori_cuddGarbageCollect

#define cuddHashTableGenericInsert pbori_cuddHashTableGenericInsert

#define cuddHashTableGenericLookup pbori_cuddHashTableGenericLookup

#define cuddHashTableGenericQuit pbori_cuddHashTableGenericQuit

#define cuddHashTableInit pbori_cuddHashTableInit

#define cuddHashTableInsert pbori_cuddHashTableInsert

#define cuddHashTableInsert1 pbori_cuddHashTableInsert1

#define cuddHashTableInsert2 pbori_cuddHashTableInsert2

#define cuddHashTableInsert3 pbori_cuddHashTableInsert3

#define cuddHashTableLookup pbori_cuddHashTableLookup

#define cuddHashTableLookup1 pbori_cuddHashTableLookup1

#define cuddHashTableLookup2 pbori_cuddHashTableLookup2

#define cuddHashTableLookup3 pbori_cuddHashTableLookup3

#define cuddHashTableQuit pbori_cuddHashTableQuit

#define cuddHashTableResize pbori_cuddHashTableResize

#define cuddInitCache pbori_cuddInitCache

#define cuddInitTable pbori_cuddInitTable

#define cuddIsInDeathRow pbori_cuddIsInDeathRow

#define cuddLocalCacheClearAll pbori_cuddLocalCacheClearAll

#define cuddLocalCacheClearDead pbori_cuddLocalCacheClearDead

#define cuddLocalCacheInit pbori_cuddLocalCacheInit

#define cuddLocalCacheInsert pbori_cuddLocalCacheInsert

#define cuddLocalCacheLookup pbori_cuddLocalCacheLookup

#define cuddLocalCacheQuit pbori_cuddLocalCacheQuit

#define cuddReclaim pbori_cuddReclaim

#define cuddReclaimZdd pbori_cuddReclaimZdd

#define cuddRehash pbori_cuddRehash

#define cuddResizeTableZdd pbori_cuddResizeTableZdd

#define cuddShrinkDeathRow pbori_cuddShrinkDeathRow

#define cuddSlowTableGrowth pbori_cuddSlowTableGrowth

#define cuddTimesInDeathRow pbori_cuddTimesInDeathRow

#define cuddUniqueConst pbori_cuddUniqueConst

#define cuddUniqueInter pbori_cuddUniqueInter

#define cuddUniqueInterZdd pbori_cuddUniqueInterZdd

Referenced by polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::cudd_generate_divisors(), polybori::cudd_generate_divisors(), polybori::CCuddDDFacade< BoolePolyRing, BooleSet >::cudd_generate_multiples(), polybori::cudd_generate_multiples(), and polybori::CCuddInterface::initVar().

#define cuddZddChange pbori_cuddZddChange

#define cuddZddChangeAux pbori_cuddZddChangeAux

#define cuddZddDiff pbori_cuddZddDiff

#define cuddZddDivide pbori_cuddZddDivide

#define cuddZddDivideF pbori_cuddZddDivideF

#define cuddZddFreeUniv pbori_cuddZddFreeUniv

#define cuddZddGetCofactors2 pbori_cuddZddGetCofactors2

#define cuddZddGetCofactors3 pbori_cuddZddGetCofactors3

#define cuddZddGetNegVarIndex pbori_cuddZddGetNegVarIndex

#define cuddZddGetNegVarLevel pbori_cuddZddGetNegVarLevel

#define cuddZddGetNode pbori_cuddZddGetNode

Referenced by polybori::dd_operations< CCuddNavigator >::newNodeAssign(), polybori::pboriCuddZddUnionXor(), and polybori::dd_operations< CCuddNavigator >::replacingNode().

#define cuddZddGetPosVarIndex pbori_cuddZddGetPosVarIndex

#define cuddZddGetPosVarLevel pbori_cuddZddGetPosVarLevel

#define cuddZddInitUniv pbori_cuddZddInitUniv

#define cuddZddIntersect pbori_cuddZddIntersect

#define cuddZddIte pbori_cuddZddIte

#define cuddZddProduct pbori_cuddZddProduct

#define cuddZddSubset0 pbori_cuddZddSubset0

#define cuddZddSubset1 pbori_cuddZddSubset1

#define cuddZddUnateProduct pbori_cuddZddUnateProduct

#define cuddZddUnion pbori_cuddZddUnion

#define cuddZddWeakDiv pbori_cuddZddWeakDiv

#define cuddZddWeakDivF pbori_cuddZddWeakDivF

#define DdManager pbori_DdManager

#define MMalloc pbori_MMalloc

#define MMfree pbori_MMfree

#define MMout_of_memory pbori_MMout_of_memory

#define MMoutOfMemory pbori_MMoutOfMemory

#define MMrealloc pbori_MMrealloc

#define zdd_subset0_aux pbori_zdd_subset0_aux

#define zdd_subset1_aux pbori_zdd_subset1_aux