PolyBoRi
|
00001 // -*- c++ -*- 00002 //***************************************************************************** 00019 //***************************************************************************** 00020 00021 #ifndef polybori_cudd_prefix_internal_h_ 00022 #define polybori_cudd_prefix_internal_h_ 00023 00024 #ifndef PBORI_USE_ORIGINAL_CUDD 00025 #define Cudd_IsNonConstant pbori_Cudd_IsNonConstant 00026 #define Cudd_ReadStartTime pbori_Cudd_ReadStartTime 00027 #define Cudd_SetStartTime pbori_Cudd_SetStartTime 00028 #define Cudd_ReadTimeLimit pbori_Cudd_ReadTimeLimit 00029 #define Cudd_SetTimeLimit pbori_Cudd_SetTimeLimit 00030 #define Cudd_IncreaseTimeLimit pbori_Cudd_IncreaseTimeLimit 00031 #define Cudd_UnsetTimeLimit pbori_Cudd_UnsetTimeLimit 00032 #define Cudd_TimeLimited pbori_Cudd_TimeLimited 00033 #define Cudd_AutodynDisable pbori_Cudd_AutodynDisable 00034 #define Cudd_ReorderingStatus pbori_Cudd_ReorderingStatus 00035 #define Cudd_AutodynEnableZdd pbori_Cudd_AutodynEnableZdd 00036 #define Cudd_AutodynDisableZdd pbori_Cudd_AutodynDisableZdd 00037 #define Cudd_ReorderingStatusZdd pbori_Cudd_ReorderingStatusZdd 00038 #define Cudd_zddRealignmentEnabled pbori_Cudd_zddRealignmentEnabled 00039 #define Cudd_zddRealignEnable pbori_Cudd_zddRealignEnable 00040 #define Cudd_zddRealignDisable pbori_Cudd_zddRealignDisable 00041 #define Cudd_bddRealignmentEnabled pbori_Cudd_bddRealignmentEnabled 00042 #define Cudd_bddRealignEnable pbori_Cudd_bddRealignEnable 00043 #define Cudd_bddRealignDisable pbori_Cudd_bddRealignDisable 00044 #define Cudd_ReadOne pbori_Cudd_ReadOne 00045 #define Cudd_ReadZddOne pbori_Cudd_ReadZddOne 00046 #define Cudd_ReadZero pbori_Cudd_ReadZero 00047 #define Cudd_ReadLogicZero pbori_Cudd_ReadLogicZero 00048 #define Cudd_ReadPlusInfinity pbori_Cudd_ReadPlusInfinity 00049 #define Cudd_ReadMinusInfinity pbori_Cudd_ReadMinusInfinity 00050 #define Cudd_ReadBackground pbori_Cudd_ReadBackground 00051 #define Cudd_SetBackground pbori_Cudd_SetBackground 00052 #define Cudd_ReadCacheSlots pbori_Cudd_ReadCacheSlots 00053 #define Cudd_ReadCacheUsedSlots pbori_Cudd_ReadCacheUsedSlots 00054 #define Cudd_ReadCacheLookUps pbori_Cudd_ReadCacheLookUps 00055 #define Cudd_ReadCacheHits pbori_Cudd_ReadCacheHits 00056 #define Cudd_ReadRecursiveCalls pbori_Cudd_ReadRecursiveCalls 00057 #define Cudd_ReadMinHit pbori_Cudd_ReadMinHit 00058 #define Cudd_SetMinHit pbori_Cudd_SetMinHit 00059 #define Cudd_ReadLooseUpTo pbori_Cudd_ReadLooseUpTo 00060 #define Cudd_SetLooseUpTo pbori_Cudd_SetLooseUpTo 00061 #define Cudd_ReadMaxCache pbori_Cudd_ReadMaxCache 00062 #define Cudd_ReadMaxCacheHard pbori_Cudd_ReadMaxCacheHard 00063 #define Cudd_SetMaxCacheHard pbori_Cudd_SetMaxCacheHard 00064 #define Cudd_ReadSize pbori_Cudd_ReadSize 00065 #define Cudd_ReadZddSize pbori_Cudd_ReadZddSize 00066 #define Cudd_ReadSlots pbori_Cudd_ReadSlots 00067 #define Cudd_ReadUsedSlots pbori_Cudd_ReadUsedSlots 00068 #define Cudd_ReadKeys pbori_Cudd_ReadKeys 00069 #define Cudd_ReadDead pbori_Cudd_ReadDead 00070 #define Cudd_ReadMinDead pbori_Cudd_ReadMinDead 00071 #define Cudd_ReadReorderings pbori_Cudd_ReadReorderings 00072 #define Cudd_ReadMaxReorderings pbori_Cudd_ReadMaxReorderings 00073 #define Cudd_SetMaxReorderings pbori_Cudd_SetMaxReorderings 00074 #define Cudd_ReadReorderingTime pbori_Cudd_ReadReorderingTime 00075 #define Cudd_ReadGarbageCollections pbori_Cudd_ReadGarbageCollections 00076 #define Cudd_ReadGarbageCollectionTime pbori_Cudd_ReadGarbageCollectionTime 00077 #define Cudd_ReadNodesFreed pbori_Cudd_ReadNodesFreed 00078 #define Cudd_ReadNodesDropped pbori_Cudd_ReadNodesDropped 00079 #define Cudd_ReadUniqueLookUps pbori_Cudd_ReadUniqueLookUps 00080 #define Cudd_ReadUniqueLinks pbori_Cudd_ReadUniqueLinks 00081 #define Cudd_ReadSiftMaxVar pbori_Cudd_ReadSiftMaxVar 00082 #define Cudd_SetSiftMaxVar pbori_Cudd_SetSiftMaxVar 00083 #define Cudd_ReadSiftMaxSwap pbori_Cudd_ReadSiftMaxSwap 00084 #define Cudd_SetSiftMaxSwap pbori_Cudd_SetSiftMaxSwap 00085 #define Cudd_ReadMaxGrowth pbori_Cudd_ReadMaxGrowth 00086 #define Cudd_SetMaxGrowth pbori_Cudd_SetMaxGrowth 00087 #define Cudd_ReadMaxGrowthAlternate pbori_Cudd_ReadMaxGrowthAlternate 00088 #define Cudd_SetMaxGrowthAlternate pbori_Cudd_SetMaxGrowthAlternate 00089 #define Cudd_ReadReorderingCycle pbori_Cudd_ReadReorderingCycle 00090 #define Cudd_SetReorderingCycle pbori_Cudd_SetReorderingCycle 00091 #define Cudd_NodeReadIndex pbori_Cudd_NodeReadIndex 00092 #define Cudd_ReadPerm pbori_Cudd_ReadPerm 00093 #define Cudd_ReadPermZdd pbori_Cudd_ReadPermZdd 00094 #define Cudd_ReadInvPerm pbori_Cudd_ReadInvPerm 00095 #define Cudd_ReadInvPermZdd pbori_Cudd_ReadInvPermZdd 00096 #define Cudd_ReadVars pbori_Cudd_ReadVars 00097 #define Cudd_ReadEpsilon pbori_Cudd_ReadEpsilon 00098 #define Cudd_SetEpsilon pbori_Cudd_SetEpsilon 00099 #define Cudd_ReadGroupcheck pbori_Cudd_ReadGroupcheck 00100 #define Cudd_SetGroupcheck pbori_Cudd_SetGroupcheck 00101 #define Cudd_GarbageCollectionEnabled pbori_Cudd_GarbageCollectionEnabled 00102 #define Cudd_EnableGarbageCollection pbori_Cudd_EnableGarbageCollection 00103 #define Cudd_DisableGarbageCollection pbori_Cudd_DisableGarbageCollection 00104 #define Cudd_DeadAreCounted pbori_Cudd_DeadAreCounted 00105 #define Cudd_TurnOnCountDead pbori_Cudd_TurnOnCountDead 00106 #define Cudd_TurnOffCountDead pbori_Cudd_TurnOffCountDead 00107 #define Cudd_ReadRecomb pbori_Cudd_ReadRecomb 00108 #define Cudd_SetRecomb pbori_Cudd_SetRecomb 00109 #define Cudd_ReadSymmviolation pbori_Cudd_ReadSymmviolation 00110 #define Cudd_SetSymmviolation pbori_Cudd_SetSymmviolation 00111 #define Cudd_ReadArcviolation pbori_Cudd_ReadArcviolation 00112 #define Cudd_SetArcviolation pbori_Cudd_SetArcviolation 00113 #define Cudd_ReadPopulationSize pbori_Cudd_ReadPopulationSize 00114 #define Cudd_SetPopulationSize pbori_Cudd_SetPopulationSize 00115 #define Cudd_ReadNumberXovers pbori_Cudd_ReadNumberXovers 00116 #define Cudd_SetNumberXovers pbori_Cudd_SetNumberXovers 00117 #define Cudd_ReadOrderRandomization pbori_Cudd_ReadOrderRandomization 00118 #define Cudd_SetOrderRandomization pbori_Cudd_SetOrderRandomization 00119 #define Cudd_ReadMemoryInUse pbori_Cudd_ReadMemoryInUse 00120 #define Cudd_ReadPeakNodeCount pbori_Cudd_ReadPeakNodeCount 00121 #define Cudd_ReadPeakLiveNodeCount pbori_Cudd_ReadPeakLiveNodeCount 00122 #define Cudd_zddReadNodeCount pbori_Cudd_zddReadNodeCount 00123 #define Cudd_IsInHook pbori_Cudd_IsInHook 00124 #define Cudd_ReorderingReporting pbori_Cudd_ReorderingReporting 00125 #define Cudd_StdPreReordHook pbori_Cudd_StdPreReordHook 00126 #define Cudd_ReadErrorCode pbori_Cudd_ReadErrorCode 00127 #define Cudd_ClearErrorCode pbori_Cudd_ClearErrorCode 00128 #define Cudd_ReadStdout pbori_Cudd_ReadStdout 00129 #define Cudd_SetStdout pbori_Cudd_SetStdout 00130 #define Cudd_ReadStderr pbori_Cudd_ReadStderr 00131 #define Cudd_SetStderr pbori_Cudd_SetStderr 00132 #define Cudd_ReadNextReordering pbori_Cudd_ReadNextReordering 00133 #define Cudd_SetNextReordering pbori_Cudd_SetNextReordering 00134 #define Cudd_ReadSwapSteps pbori_Cudd_ReadSwapSteps 00135 #define Cudd_ReadMaxLive pbori_Cudd_ReadMaxLive 00136 #define Cudd_SetMaxLive pbori_Cudd_SetMaxLive 00137 #define Cudd_ReadMaxMemory pbori_Cudd_ReadMaxMemory 00138 #define Cudd_SetMaxMemory pbori_Cudd_SetMaxMemory 00139 #define Cudd_UpdateTimeLimit pbori_Cudd_UpdateTimeLimit 00140 #define Cudd_RemoveHook pbori_Cudd_RemoveHook 00141 #define Cudd_DisableReorderingReporting pbori_Cudd_DisableReorderingReporting 00142 #define Cudd_StdPostReordHook pbori_Cudd_StdPostReordHook 00143 #define Cudd_ReadNodeCount pbori_Cudd_ReadNodeCount 00144 #define Cudd_ExpectedUsedSlots pbori_Cudd_ExpectedUsedSlots 00145 #define Cudd_PrintInfo pbori_Cudd_PrintInfo 00146 #define Cudd_AutodynEnable pbori_Cudd_AutodynEnable 00147 #define Cudd_addConst pbori_Cudd_addConst 00148 #define Cudd_zddIthVar pbori_Cudd_zddIthVar 00149 #define Cudd_RecursiveDerefZdd pbori_Cudd_RecursiveDerefZdd 00150 #define Cudd_ResetStartTime pbori_Cudd_ResetStartTime 00151 #define Cudd_ReadElapsedTime pbori_Cudd_ReadElapsedTime 00152 #define Cudd_AddHook pbori_Cudd_AddHook 00153 #define Cudd_EnableReorderingReporting pbori_Cudd_EnableReorderingReporting 00154 #define Cudd_Quit pbori_Cudd_Quit 00155 #define Cudd_Init pbori_Cudd_Init 00156 #define Cudd_RecursiveDeref pbori_Cudd_RecursiveDeref 00157 #define Cudd_Ref pbori_Cudd_Ref 00158 #define Cudd_IterDerefBdd pbori_Cudd_IterDerefBdd 00159 #define Cudd_DelayedDerefBdd pbori_Cudd_DelayedDerefBdd 00160 #define Cudd_Deref pbori_Cudd_Deref 00161 #define Cudd_CheckZeroRef pbori_Cudd_CheckZeroRef 00162 #define Cudd_Prime pbori_Cudd_Prime 00163 #define Cudd_zddDivideF pbori_Cudd_zddDivideF 00164 #define Cudd_zddDivide pbori_Cudd_zddDivide 00165 #define Cudd_zddWeakDiv pbori_Cudd_zddWeakDiv 00166 #define Cudd_zddWeakDivF pbori_Cudd_zddWeakDivF 00167 #define Cudd_zddUnateProduct pbori_Cudd_zddUnateProduct 00168 #define Cudd_zddProduct pbori_Cudd_zddProduct 00169 #define Cudd_zddSubset0 pbori_Cudd_zddSubset0 00170 #define Cudd_zddSubset1 pbori_Cudd_zddSubset1 00171 #define Cudd_zddChange pbori_Cudd_zddChange 00172 #define Cudd_zddDiff pbori_Cudd_zddDiff 00173 #define Cudd_zddIntersect pbori_Cudd_zddIntersect 00174 #define Cudd_zddUnion pbori_Cudd_zddUnion 00175 #define Cudd_zddDiffConst pbori_Cudd_zddDiffConst 00176 #define Cudd_zddIte pbori_Cudd_zddIte 00177 00178 #define cuddClearDeathRow pbori_cuddClearDeathRow 00179 #define cuddCacheProfile pbori_cuddCacheProfile 00180 #define cuddUniqueConst pbori_cuddUniqueConst 00181 #define cuddUniqueInterZdd pbori_cuddUniqueInterZdd 00182 #define cuddCacheInsert pbori_cuddCacheInsert 00183 #define cuddCacheInsert2 pbori_cuddCacheInsert2 00184 #define cuddCacheInsert1 pbori_cuddCacheInsert1 00185 #define cuddCacheFlush pbori_cuddCacheFlush 00186 #define cuddComputeFloorLog2 pbori_cuddComputeFloorLog2 00187 #define cuddCacheResize pbori_cuddCacheResize 00188 #define cuddConstantLookup pbori_cuddConstantLookup 00189 #define cuddCacheLookup1Zdd pbori_cuddCacheLookup1Zdd 00190 #define cuddReclaimZdd pbori_cuddReclaimZdd 00191 #define cuddCacheLookup2Zdd pbori_cuddCacheLookup2Zdd 00192 #define cuddCacheLookupZdd pbori_cuddCacheLookupZdd 00193 #define cuddCacheLookup1 pbori_cuddCacheLookup1 00194 #define cuddReclaim pbori_cuddReclaim 00195 #define cuddCacheLookup2 pbori_cuddCacheLookup2 00196 #define cuddCacheLookup pbori_cuddCacheLookup 00197 #define cuddInitCache pbori_cuddInitCache 00198 #define cuddZddFreeUniv pbori_cuddZddFreeUniv 00199 #define cuddFreeTable pbori_cuddFreeTable 00200 #define cuddZddInitUniv pbori_cuddZddInitUniv 00201 #define cuddInitTable pbori_cuddInitTable 00202 #define cuddUniqueInter pbori_cuddUniqueInter 00203 #define cuddLocalCacheClearDead pbori_cuddLocalCacheClearDead 00204 #define cuddHashTableLookup pbori_cuddHashTableLookup 00205 #define cuddHashTableLookup1 pbori_cuddHashTableLookup1 00206 #define cuddHashTableGenericLookup pbori_cuddHashTableGenericLookup 00207 #define cuddHashTableLookup2 pbori_cuddHashTableLookup2 00208 #define cuddHashTableLookup3 pbori_cuddHashTableLookup3 00209 #define cuddLocalCacheClearAll pbori_cuddLocalCacheClearAll 00210 #define cuddHashTableGenericQuit pbori_cuddHashTableGenericQuit 00211 #define cuddLocalCacheQuit pbori_cuddLocalCacheQuit 00212 #define cuddHashTableQuit pbori_cuddHashTableQuit 00213 #define cuddLocalCacheInsert pbori_cuddLocalCacheInsert 00214 #define cuddLocalCacheLookup pbori_cuddLocalCacheLookup 00215 #define cuddHashTableInsert pbori_cuddHashTableInsert 00216 #define cuddHashTableInit pbori_cuddHashTableInit 00217 #define cuddLocalCacheInit pbori_cuddLocalCacheInit 00218 #define cuddHashTableInsert3 pbori_cuddHashTableInsert3 00219 #define cuddHashTableInsert2 pbori_cuddHashTableInsert2 00220 #define cuddHashTableGenericInsert pbori_cuddHashTableGenericInsert 00221 #define cuddHashTableInsert1 pbori_cuddHashTableInsert1 00222 #define cuddIsInDeathRow pbori_cuddIsInDeathRow 00223 #define cuddTimesInDeathRow pbori_cuddTimesInDeathRow 00224 #define cuddShrinkDeathRow pbori_cuddShrinkDeathRow 00225 #define cuddSlowTableGrowth pbori_cuddSlowTableGrowth 00226 #define cuddResizeTableZdd pbori_cuddResizeTableZdd 00227 #define cuddGarbageCollect pbori_cuddGarbageCollect 00228 #define cuddRehash pbori_cuddRehash 00229 #define cuddAllocNode pbori_cuddAllocNode 00230 #define cuddZddGetPosVarIndex pbori_cuddZddGetPosVarIndex 00231 #define cuddZddGetNode pbori_cuddZddGetNode 00232 #define cuddZddGetNegVarIndex pbori_cuddZddGetNegVarIndex 00233 #define cuddZddGetPosVarLevel pbori_cuddZddGetPosVarLevel 00234 #define cuddZddGetNegVarLevel pbori_cuddZddGetNegVarLevel 00235 #define cuddZddGetCofactors2 pbori_cuddZddGetCofactors2 00236 #define cuddZddSubset1 pbori_cuddZddSubset1 00237 #define cuddZddSubset0 pbori_cuddZddSubset0 00238 #define cuddZddGetCofactors3 pbori_cuddZddGetCofactors3 00239 #define cuddZddDivideF pbori_cuddZddDivideF 00240 #define cuddZddIntersect pbori_cuddZddIntersect 00241 #define cuddZddDivide pbori_cuddZddDivide 00242 #define cuddZddWeakDiv pbori_cuddZddWeakDiv 00243 #define cuddZddWeakDivF pbori_cuddZddWeakDivF 00244 #define cuddZddUnateProduct pbori_cuddZddUnateProduct 00245 #define cuddZddUnion pbori_cuddZddUnion 00246 #define cuddZddProduct pbori_cuddZddProduct 00247 #define cuddZddChangeAux pbori_cuddZddChangeAux 00248 #define cuddZddChange pbori_cuddZddChange 00249 #define cuddZddDiff pbori_cuddZddDiff 00250 #define cuddZddIte pbori_cuddZddIte 00251 #define cuddHashTableResize pbori_cuddHashTableResize 00252 00253 #define zdd_subset0_aux pbori_zdd_subset0_aux 00254 #define zdd_subset1_aux pbori_zdd_subset1_aux 00255 00256 #define MMalloc pbori_MMalloc 00257 #define MMrealloc pbori_MMrealloc 00258 #define MMfree pbori_MMfree 00259 #define MMoutOfMemory pbori_MMoutOfMemory 00260 #define MMout_of_memory pbori_MMout_of_memory 00261 00262 #define DdManager pbori_DdManager 00263 #endif /* PBORI_USE_ORIGINAL_CUDD */ 00264 00265 #endif /* polybori_cudd_prefix_internal_h_ */