Go to the documentation of this file. 21 #ifndef polybori_cudd_prefix_internal_h_ 22 #define polybori_cudd_prefix_internal_h_ 24 #ifndef PBORI_USE_ORIGINAL_CUDD 25 #define Cudd_IsNonConstant pbori_Cudd_IsNonConstant 26 #define Cudd_ReadStartTime pbori_Cudd_ReadStartTime 27 #define Cudd_SetStartTime pbori_Cudd_SetStartTime 28 #define Cudd_ReadTimeLimit pbori_Cudd_ReadTimeLimit 29 #define Cudd_SetTimeLimit pbori_Cudd_SetTimeLimit 30 #define Cudd_IncreaseTimeLimit pbori_Cudd_IncreaseTimeLimit 31 #define Cudd_UnsetTimeLimit pbori_Cudd_UnsetTimeLimit 32 #define Cudd_TimeLimited pbori_Cudd_TimeLimited 33 #define Cudd_AutodynDisable pbori_Cudd_AutodynDisable 34 #define Cudd_ReorderingStatus pbori_Cudd_ReorderingStatus 35 #define Cudd_AutodynEnableZdd pbori_Cudd_AutodynEnableZdd 36 #define Cudd_AutodynDisableZdd pbori_Cudd_AutodynDisableZdd 37 #define Cudd_ReorderingStatusZdd pbori_Cudd_ReorderingStatusZdd 38 #define Cudd_zddRealignmentEnabled pbori_Cudd_zddRealignmentEnabled 39 #define Cudd_zddRealignEnable pbori_Cudd_zddRealignEnable 40 #define Cudd_zddRealignDisable pbori_Cudd_zddRealignDisable 41 #define Cudd_bddRealignmentEnabled pbori_Cudd_bddRealignmentEnabled 42 #define Cudd_bddRealignEnable pbori_Cudd_bddRealignEnable 43 #define Cudd_bddRealignDisable pbori_Cudd_bddRealignDisable 44 #define Cudd_ReadOne pbori_Cudd_ReadOne 45 #define Cudd_ReadZddOne pbori_Cudd_ReadZddOne 46 #define Cudd_ReadZero pbori_Cudd_ReadZero 47 #define Cudd_ReadLogicZero pbori_Cudd_ReadLogicZero 48 #define Cudd_ReadPlusInfinity pbori_Cudd_ReadPlusInfinity 49 #define Cudd_ReadMinusInfinity pbori_Cudd_ReadMinusInfinity 50 #define Cudd_ReadBackground pbori_Cudd_ReadBackground 51 #define Cudd_SetBackground pbori_Cudd_SetBackground 52 #define Cudd_ReadCacheSlots pbori_Cudd_ReadCacheSlots 53 #define Cudd_ReadCacheUsedSlots pbori_Cudd_ReadCacheUsedSlots 54 #define Cudd_ReadCacheLookUps pbori_Cudd_ReadCacheLookUps 55 #define Cudd_ReadCacheHits pbori_Cudd_ReadCacheHits 56 #define Cudd_ReadRecursiveCalls pbori_Cudd_ReadRecursiveCalls 57 #define Cudd_ReadMinHit pbori_Cudd_ReadMinHit 58 #define Cudd_SetMinHit pbori_Cudd_SetMinHit 59 #define Cudd_ReadLooseUpTo pbori_Cudd_ReadLooseUpTo 60 #define Cudd_SetLooseUpTo pbori_Cudd_SetLooseUpTo 61 #define Cudd_ReadMaxCache pbori_Cudd_ReadMaxCache 62 #define Cudd_ReadMaxCacheHard pbori_Cudd_ReadMaxCacheHard 63 #define Cudd_SetMaxCacheHard pbori_Cudd_SetMaxCacheHard 64 #define Cudd_ReadSize pbori_Cudd_ReadSize 65 #define Cudd_ReadZddSize pbori_Cudd_ReadZddSize 66 #define Cudd_ReadSlots pbori_Cudd_ReadSlots 67 #define Cudd_ReadUsedSlots pbori_Cudd_ReadUsedSlots 68 #define Cudd_ReadKeys pbori_Cudd_ReadKeys 69 #define Cudd_ReadDead pbori_Cudd_ReadDead 70 #define Cudd_ReadMinDead pbori_Cudd_ReadMinDead 71 #define Cudd_ReadReorderings pbori_Cudd_ReadReorderings 72 #define Cudd_ReadMaxReorderings pbori_Cudd_ReadMaxReorderings 73 #define Cudd_SetMaxReorderings pbori_Cudd_SetMaxReorderings 74 #define Cudd_ReadReorderingTime pbori_Cudd_ReadReorderingTime 75 #define Cudd_ReadGarbageCollections pbori_Cudd_ReadGarbageCollections 76 #define Cudd_ReadGarbageCollectionTime pbori_Cudd_ReadGarbageCollectionTime 77 #define Cudd_ReadNodesFreed pbori_Cudd_ReadNodesFreed 78 #define Cudd_ReadNodesDropped pbori_Cudd_ReadNodesDropped 79 #define Cudd_ReadUniqueLookUps pbori_Cudd_ReadUniqueLookUps 80 #define Cudd_ReadUniqueLinks pbori_Cudd_ReadUniqueLinks 81 #define Cudd_ReadSiftMaxVar pbori_Cudd_ReadSiftMaxVar 82 #define Cudd_SetSiftMaxVar pbori_Cudd_SetSiftMaxVar 83 #define Cudd_ReadSiftMaxSwap pbori_Cudd_ReadSiftMaxSwap 84 #define Cudd_SetSiftMaxSwap pbori_Cudd_SetSiftMaxSwap 85 #define Cudd_ReadMaxGrowth pbori_Cudd_ReadMaxGrowth 86 #define Cudd_SetMaxGrowth pbori_Cudd_SetMaxGrowth 87 #define Cudd_ReadMaxGrowthAlternate pbori_Cudd_ReadMaxGrowthAlternate 88 #define Cudd_SetMaxGrowthAlternate pbori_Cudd_SetMaxGrowthAlternate 89 #define Cudd_ReadReorderingCycle pbori_Cudd_ReadReorderingCycle 90 #define Cudd_SetReorderingCycle pbori_Cudd_SetReorderingCycle 91 #define Cudd_NodeReadIndex pbori_Cudd_NodeReadIndex 92 #define Cudd_ReadPerm pbori_Cudd_ReadPerm 93 #define Cudd_ReadPermZdd pbori_Cudd_ReadPermZdd 94 #define Cudd_ReadInvPerm pbori_Cudd_ReadInvPerm 95 #define Cudd_ReadInvPermZdd pbori_Cudd_ReadInvPermZdd 96 #define Cudd_ReadVars pbori_Cudd_ReadVars 97 #define Cudd_ReadEpsilon pbori_Cudd_ReadEpsilon 98 #define Cudd_SetEpsilon pbori_Cudd_SetEpsilon 99 #define Cudd_ReadGroupcheck pbori_Cudd_ReadGroupcheck 100 #define Cudd_SetGroupcheck pbori_Cudd_SetGroupcheck 101 #define Cudd_GarbageCollectionEnabled pbori_Cudd_GarbageCollectionEnabled 102 #define Cudd_EnableGarbageCollection pbori_Cudd_EnableGarbageCollection 103 #define Cudd_DisableGarbageCollection pbori_Cudd_DisableGarbageCollection 104 #define Cudd_DeadAreCounted pbori_Cudd_DeadAreCounted 105 #define Cudd_TurnOnCountDead pbori_Cudd_TurnOnCountDead 106 #define Cudd_TurnOffCountDead pbori_Cudd_TurnOffCountDead 107 #define Cudd_ReadRecomb pbori_Cudd_ReadRecomb 108 #define Cudd_SetRecomb pbori_Cudd_SetRecomb 109 #define Cudd_ReadSymmviolation pbori_Cudd_ReadSymmviolation 110 #define Cudd_SetSymmviolation pbori_Cudd_SetSymmviolation 111 #define Cudd_ReadArcviolation pbori_Cudd_ReadArcviolation 112 #define Cudd_SetArcviolation pbori_Cudd_SetArcviolation 113 #define Cudd_ReadPopulationSize pbori_Cudd_ReadPopulationSize 114 #define Cudd_SetPopulationSize pbori_Cudd_SetPopulationSize 115 #define Cudd_ReadNumberXovers pbori_Cudd_ReadNumberXovers 116 #define Cudd_SetNumberXovers pbori_Cudd_SetNumberXovers 117 #define Cudd_ReadOrderRandomization pbori_Cudd_ReadOrderRandomization 118 #define Cudd_SetOrderRandomization pbori_Cudd_SetOrderRandomization 119 #define Cudd_ReadMemoryInUse pbori_Cudd_ReadMemoryInUse 120 #define Cudd_ReadPeakNodeCount pbori_Cudd_ReadPeakNodeCount 121 #define Cudd_ReadPeakLiveNodeCount pbori_Cudd_ReadPeakLiveNodeCount 122 #define Cudd_zddReadNodeCount pbori_Cudd_zddReadNodeCount 123 #define Cudd_IsInHook pbori_Cudd_IsInHook 124 #define Cudd_ReorderingReporting pbori_Cudd_ReorderingReporting 125 #define Cudd_StdPreReordHook pbori_Cudd_StdPreReordHook 126 #define Cudd_ReadErrorCode pbori_Cudd_ReadErrorCode 127 #define Cudd_ClearErrorCode pbori_Cudd_ClearErrorCode 128 #define Cudd_ReadStdout pbori_Cudd_ReadStdout 129 #define Cudd_SetStdout pbori_Cudd_SetStdout 130 #define Cudd_ReadStderr pbori_Cudd_ReadStderr 131 #define Cudd_SetStderr pbori_Cudd_SetStderr 132 #define Cudd_ReadNextReordering pbori_Cudd_ReadNextReordering 133 #define Cudd_SetNextReordering pbori_Cudd_SetNextReordering 134 #define Cudd_ReadSwapSteps pbori_Cudd_ReadSwapSteps 135 #define Cudd_ReadMaxLive pbori_Cudd_ReadMaxLive 136 #define Cudd_SetMaxLive pbori_Cudd_SetMaxLive 137 #define Cudd_ReadMaxMemory pbori_Cudd_ReadMaxMemory 138 #define Cudd_SetMaxMemory pbori_Cudd_SetMaxMemory 139 #define Cudd_UpdateTimeLimit pbori_Cudd_UpdateTimeLimit 140 #define Cudd_RemoveHook pbori_Cudd_RemoveHook 141 #define Cudd_DisableReorderingReporting pbori_Cudd_DisableReorderingReporting 142 #define Cudd_StdPostReordHook pbori_Cudd_StdPostReordHook 143 #define Cudd_ReadNodeCount pbori_Cudd_ReadNodeCount 144 #define Cudd_ExpectedUsedSlots pbori_Cudd_ExpectedUsedSlots 145 #define Cudd_PrintInfo pbori_Cudd_PrintInfo 146 #define Cudd_AutodynEnable pbori_Cudd_AutodynEnable 147 #define Cudd_addConst pbori_Cudd_addConst 148 #define Cudd_zddIthVar pbori_Cudd_zddIthVar 149 #define Cudd_RecursiveDerefZdd pbori_Cudd_RecursiveDerefZdd 150 #define Cudd_ResetStartTime pbori_Cudd_ResetStartTime 151 #define Cudd_ReadElapsedTime pbori_Cudd_ReadElapsedTime 152 #define Cudd_AddHook pbori_Cudd_AddHook 153 #define Cudd_EnableReorderingReporting pbori_Cudd_EnableReorderingReporting 154 #define Cudd_Quit pbori_Cudd_Quit 155 #define Cudd_Init pbori_Cudd_Init 156 #define Cudd_RecursiveDeref pbori_Cudd_RecursiveDeref 157 #define Cudd_Ref pbori_Cudd_Ref 158 #define Cudd_IterDerefBdd pbori_Cudd_IterDerefBdd 159 #define Cudd_DelayedDerefBdd pbori_Cudd_DelayedDerefBdd 160 #define Cudd_Deref pbori_Cudd_Deref 161 #define Cudd_CheckZeroRef pbori_Cudd_CheckZeroRef 162 #define Cudd_Prime pbori_Cudd_Prime 163 #define Cudd_zddDivideF pbori_Cudd_zddDivideF 164 #define Cudd_zddDivide pbori_Cudd_zddDivide 165 #define Cudd_zddWeakDiv pbori_Cudd_zddWeakDiv 166 #define Cudd_zddWeakDivF pbori_Cudd_zddWeakDivF 167 #define Cudd_zddUnateProduct pbori_Cudd_zddUnateProduct 168 #define Cudd_zddProduct pbori_Cudd_zddProduct 169 #define Cudd_zddSubset0 pbori_Cudd_zddSubset0 170 #define Cudd_zddSubset1 pbori_Cudd_zddSubset1 171 #define Cudd_zddChange pbori_Cudd_zddChange 172 #define Cudd_zddDiff pbori_Cudd_zddDiff 173 #define Cudd_zddIntersect pbori_Cudd_zddIntersect 174 #define Cudd_zddUnion pbori_Cudd_zddUnion 175 #define Cudd_zddDiffConst pbori_Cudd_zddDiffConst 176 #define Cudd_zddIte pbori_Cudd_zddIte 178 #define cuddClearDeathRow pbori_cuddClearDeathRow 179 #define cuddCacheProfile pbori_cuddCacheProfile 180 #define cuddUniqueConst pbori_cuddUniqueConst 181 #define cuddUniqueInterZdd pbori_cuddUniqueInterZdd 182 #define cuddCacheInsert pbori_cuddCacheInsert 183 #define cuddCacheInsert2 pbori_cuddCacheInsert2 184 #define cuddCacheInsert1 pbori_cuddCacheInsert1 185 #define cuddCacheFlush pbori_cuddCacheFlush 186 #define cuddComputeFloorLog2 pbori_cuddComputeFloorLog2 187 #define cuddCacheResize pbori_cuddCacheResize 188 #define cuddConstantLookup pbori_cuddConstantLookup 189 #define cuddCacheLookup1Zdd pbori_cuddCacheLookup1Zdd 190 #define cuddReclaimZdd pbori_cuddReclaimZdd 191 #define cuddCacheLookup2Zdd pbori_cuddCacheLookup2Zdd 192 #define cuddCacheLookupZdd pbori_cuddCacheLookupZdd 193 #define cuddCacheLookup1 pbori_cuddCacheLookup1 194 #define cuddReclaim pbori_cuddReclaim 195 #define cuddCacheLookup2 pbori_cuddCacheLookup2 196 #define cuddCacheLookup pbori_cuddCacheLookup 197 #define cuddInitCache pbori_cuddInitCache 198 #define cuddZddFreeUniv pbori_cuddZddFreeUniv 199 #define cuddFreeTable pbori_cuddFreeTable 200 #define cuddZddInitUniv pbori_cuddZddInitUniv 201 #define cuddInitTable pbori_cuddInitTable 202 #define cuddUniqueInter pbori_cuddUniqueInter 203 #define cuddLocalCacheClearDead pbori_cuddLocalCacheClearDead 204 #define cuddHashTableLookup pbori_cuddHashTableLookup 205 #define cuddHashTableLookup1 pbori_cuddHashTableLookup1 206 #define cuddHashTableGenericLookup pbori_cuddHashTableGenericLookup 207 #define cuddHashTableLookup2 pbori_cuddHashTableLookup2 208 #define cuddHashTableLookup3 pbori_cuddHashTableLookup3 209 #define cuddLocalCacheClearAll pbori_cuddLocalCacheClearAll 210 #define cuddHashTableGenericQuit pbori_cuddHashTableGenericQuit 211 #define cuddLocalCacheQuit pbori_cuddLocalCacheQuit 212 #define cuddHashTableQuit pbori_cuddHashTableQuit 213 #define cuddLocalCacheInsert pbori_cuddLocalCacheInsert 214 #define cuddLocalCacheLookup pbori_cuddLocalCacheLookup 215 #define cuddHashTableInsert pbori_cuddHashTableInsert 216 #define cuddHashTableInit pbori_cuddHashTableInit 217 #define cuddLocalCacheInit pbori_cuddLocalCacheInit 218 #define cuddHashTableInsert3 pbori_cuddHashTableInsert3 219 #define cuddHashTableInsert2 pbori_cuddHashTableInsert2 220 #define cuddHashTableGenericInsert pbori_cuddHashTableGenericInsert 221 #define cuddHashTableInsert1 pbori_cuddHashTableInsert1 222 #define cuddIsInDeathRow pbori_cuddIsInDeathRow 223 #define cuddTimesInDeathRow pbori_cuddTimesInDeathRow 224 #define cuddShrinkDeathRow pbori_cuddShrinkDeathRow 225 #define cuddSlowTableGrowth pbori_cuddSlowTableGrowth 226 #define cuddResizeTableZdd pbori_cuddResizeTableZdd 227 #define cuddGarbageCollect pbori_cuddGarbageCollect 228 #define cuddRehash pbori_cuddRehash 229 #define cuddAllocNode pbori_cuddAllocNode 230 #define cuddZddGetPosVarIndex pbori_cuddZddGetPosVarIndex 231 #define cuddZddGetNode pbori_cuddZddGetNode 232 #define cuddZddGetNegVarIndex pbori_cuddZddGetNegVarIndex 233 #define cuddZddGetPosVarLevel pbori_cuddZddGetPosVarLevel 234 #define cuddZddGetNegVarLevel pbori_cuddZddGetNegVarLevel 235 #define cuddZddGetCofactors2 pbori_cuddZddGetCofactors2 236 #define cuddZddSubset1 pbori_cuddZddSubset1 237 #define cuddZddSubset0 pbori_cuddZddSubset0 238 #define cuddZddGetCofactors3 pbori_cuddZddGetCofactors3 239 #define cuddZddDivideF pbori_cuddZddDivideF 240 #define cuddZddIntersect pbori_cuddZddIntersect 241 #define cuddZddDivide pbori_cuddZddDivide 242 #define cuddZddWeakDiv pbori_cuddZddWeakDiv 243 #define cuddZddWeakDivF pbori_cuddZddWeakDivF 244 #define cuddZddUnateProduct pbori_cuddZddUnateProduct 245 #define cuddZddUnion pbori_cuddZddUnion 246 #define cuddZddProduct pbori_cuddZddProduct 247 #define cuddZddChangeAux pbori_cuddZddChangeAux 248 #define cuddZddChange pbori_cuddZddChange 249 #define cuddZddDiff pbori_cuddZddDiff 250 #define cuddZddIte pbori_cuddZddIte 251 #define cuddHashTableResize pbori_cuddHashTableResize 253 #define zdd_subset0_aux pbori_zdd_subset0_aux 254 #define zdd_subset1_aux pbori_zdd_subset1_aux 256 #define MMalloc pbori_MMalloc 257 #define MMrealloc pbori_MMrealloc 258 #define MMfree pbori_MMfree 259 #define MMoutOfMemory pbori_MMoutOfMemory 260 #define MMout_of_memory pbori_MMout_of_memory 262 #define DdManager pbori_DdManager