Home
last modified time | relevance | path

Searched refs:cuddGarbageCollect (Results 1 – 19 of 19) sorted by relevance

/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddTable.c296 (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 DcuddZddReord.c385 cuddGarbageCollect(table,0); in cuddZddAlignToBdd()
1418 cuddGarbageCollect(table,0); in zddReorderPreprocess()
H A DcuddReorder.c1282 cuddGarbageCollect(table,0); in cuddBddAlignToZdd()
1836 cuddGarbageCollect(table,0); in ddReorderPreprocess()
H A DcuddInt.h1153 extern int PBORI_PREFIX(cuddGarbageCollect) (PBORI_PREFIX(DdManager) *unique, int clearCache);
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddTable.c251 (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 DcuddZddReord.c340 cuddGarbageCollect(table,0); in cuddZddAlignToBdd()
1343 cuddGarbageCollect(table,0); in zddReorderPreprocess()
H A DcuddReorder.c1227 cuddGarbageCollect(table,0); in cuddBddAlignToZdd()
1783 cuddGarbageCollect(table,0); in ddReorderPreprocess()
H A DcuddInt.h1185 extern int cuddGarbageCollect(DdManager *unique, int clearCache);
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddTable.c296 (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 DcuddZddReord.c385 cuddGarbageCollect(table,0); in cuddZddAlignToBdd()
1418 cuddGarbageCollect(table,0); in zddReorderPreprocess()
H A DcuddReorder.c1282 cuddGarbageCollect(table,0); in cuddBddAlignToZdd()
1836 cuddGarbageCollect(table,0); in ddReorderPreprocess()
H A DcuddInt.h1153 extern int PBORI_PREFIX(cuddGarbageCollect) (PBORI_PREFIX(DdManager) *unique, int clearCache);
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddTable.c252 (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 DcuddZddReord.c389 cuddGarbageCollect(table,0); in cuddZddAlignToBdd()
1418 cuddGarbageCollect(table,0); in zddReorderPreprocess()
H A DcuddReorder.c1284 cuddGarbageCollect(table,0); in cuddBddAlignToZdd()
1838 cuddGarbageCollect(table,0); in ddReorderPreprocess()
H A DcuddInt.h1168 extern int cuddGarbageCollect( DdManager * unique, int clearCache );
/dports/math/py-brial/BRiAl-1.2.10/libbrial/include/polybori/cudd/
H A Dprefix_internal.h227 #define cuddGarbageCollect pbori_cuddGarbageCollect macro
/dports/math/brial/BRiAl-1.2.10/libbrial/include/polybori/cudd/
H A Dprefix_internal.h227 #define cuddGarbageCollect pbori_cuddGarbageCollect macro
/dports/lang/yap/yap-6.2.2/packages/cplint/slipcase/
H A Dbddem.c534 nodes=(YAP_Int)cuddGarbageCollect(mgr,clearCache); in garbage_collect()