/dports/math/py-brial/BRiAl-1.2.10/cudd/ |
H A D | cuddTable.c | 296 (void) cuddGarbageCollect(unique,1); in cuddAllocNode() 313 if (cuddGarbageCollect(unique,1) == 0) { in cuddAllocNode() 776 cuddGarbageCollect( in cuddGarbageCollect() function 1275 (void) cuddGarbageCollect(unique,1); in cuddUniqueInter() 1440 (void) cuddGarbageCollect(unique,1); in cuddUniqueInterZdd() 1532 (void) cuddGarbageCollect(unique,1); in cuddUniqueConst() 1627 if (cuddGarbageCollect(unique,1) > 0) return; in cuddRehash() 1648 (void) cuddGarbageCollect(unique,1); in cuddRehash() 1713 (void) cuddGarbageCollect(unique,1); in cuddRehash() 2229 (void) cuddGarbageCollect(unique,1); in cuddDestroySubtables() [all …]
|
H A D | cuddZddReord.c | 385 cuddGarbageCollect(table,0); in cuddZddAlignToBdd() 1418 cuddGarbageCollect(table,0); in zddReorderPreprocess()
|
H A D | cuddReorder.c | 1282 cuddGarbageCollect(table,0); in cuddBddAlignToZdd() 1836 cuddGarbageCollect(table,0); in ddReorderPreprocess()
|
H A D | cuddInt.h | 1153 extern int PBORI_PREFIX(cuddGarbageCollect) (PBORI_PREFIX(DdManager) *unique, int clearCache);
|
/dports/math/cudd/cudd-3.0.0/cudd/ |
H A D | cuddTable.c | 251 (void) cuddGarbageCollect(unique,1); in cuddAllocNode() 268 if (cuddGarbageCollect(unique,1) == 0) { in cuddAllocNode() 736 cuddGarbageCollect( in cuddGarbageCollect() function 1241 (void) cuddGarbageCollect(unique,1); in cuddUniqueInter() 1426 (void) cuddGarbageCollect(unique,1); in cuddUniqueInterZdd() 1534 (void) cuddGarbageCollect(unique,1); in cuddUniqueConst() 1626 if (cuddGarbageCollect(unique,1) > 0) return; in cuddRehash() 1647 (void) cuddGarbageCollect(unique,1); in cuddRehash() 1712 (void) cuddGarbageCollect(unique,1); in cuddRehash() 2230 (void) cuddGarbageCollect(unique,1); in cuddDestroySubtables() [all …]
|
H A D | cuddZddReord.c | 340 cuddGarbageCollect(table,0); in cuddZddAlignToBdd() 1343 cuddGarbageCollect(table,0); in zddReorderPreprocess()
|
H A D | cuddReorder.c | 1227 cuddGarbageCollect(table,0); in cuddBddAlignToZdd() 1783 cuddGarbageCollect(table,0); in ddReorderPreprocess()
|
H A D | cuddInt.h | 1185 extern int cuddGarbageCollect(DdManager *unique, int clearCache);
|
/dports/math/brial/BRiAl-1.2.10/cudd/ |
H A D | cuddTable.c | 296 (void) cuddGarbageCollect(unique,1); in cuddAllocNode() 313 if (cuddGarbageCollect(unique,1) == 0) { in cuddAllocNode() 776 cuddGarbageCollect( in cuddGarbageCollect() function 1275 (void) cuddGarbageCollect(unique,1); in cuddUniqueInter() 1440 (void) cuddGarbageCollect(unique,1); in cuddUniqueInterZdd() 1532 (void) cuddGarbageCollect(unique,1); in cuddUniqueConst() 1627 if (cuddGarbageCollect(unique,1) > 0) return; in cuddRehash() 1648 (void) cuddGarbageCollect(unique,1); in cuddRehash() 1713 (void) cuddGarbageCollect(unique,1); in cuddRehash() 2229 (void) cuddGarbageCollect(unique,1); in cuddDestroySubtables() [all …]
|
H A D | cuddZddReord.c | 385 cuddGarbageCollect(table,0); in cuddZddAlignToBdd() 1418 cuddGarbageCollect(table,0); in zddReorderPreprocess()
|
H A D | cuddReorder.c | 1282 cuddGarbageCollect(table,0); in cuddBddAlignToZdd() 1836 cuddGarbageCollect(table,0); in ddReorderPreprocess()
|
H A D | cuddInt.h | 1153 extern int PBORI_PREFIX(cuddGarbageCollect) (PBORI_PREFIX(DdManager) *unique, int clearCache);
|
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/ |
H A D | cuddTable.c | 252 (void) cuddGarbageCollect(unique,1); in cuddAllocNode() 270 if (cuddGarbageCollect(unique,1) == 0) { in cuddAllocNode() 729 cuddGarbageCollect( in cuddGarbageCollect() function 1210 (void) cuddGarbageCollect(unique,1); in cuddUniqueInter() 1375 (void) cuddGarbageCollect(unique,1); in cuddUniqueInterZdd() 1466 (void) cuddGarbageCollect(unique,1); in cuddUniqueConst() 1561 if (cuddGarbageCollect(unique,1) > 0) return; in cuddRehash() 1582 (void) cuddGarbageCollect(unique,1); in cuddRehash() 1647 (void) cuddGarbageCollect(unique,1); in cuddRehash() 2163 (void) cuddGarbageCollect(unique,1); in cuddDestroySubtables() [all …]
|
H A D | cuddZddReord.c | 389 cuddGarbageCollect(table,0); in cuddZddAlignToBdd() 1418 cuddGarbageCollect(table,0); in zddReorderPreprocess()
|
H A D | cuddReorder.c | 1284 cuddGarbageCollect(table,0); in cuddBddAlignToZdd() 1838 cuddGarbageCollect(table,0); in ddReorderPreprocess()
|
H A D | cuddInt.h | 1168 extern int cuddGarbageCollect( DdManager * unique, int clearCache );
|
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/cudd/ |
H A D | prefix_internal.h | 227 #define cuddGarbageCollect pbori_cuddGarbageCollect macro
|
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/cudd/ |
H A D | prefix_internal.h | 227 #define cuddGarbageCollect pbori_cuddGarbageCollect macro
|
/dports/lang/yap/yap-6.2.2/packages/cplint/slipcase/ |
H A D | bddem.c | 534 nodes=(YAP_Int)cuddGarbageCollect(mgr,clearCache); in garbage_collect()
|