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