Home
last modified time | relevance | path

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

/dports/math/py-brial/BRiAl-1.2.10/cudd/
H A DcuddCache.c180 unique->cacheMisses = (double) (int) (cacheSize * unique->minHit + 1); in cuddInitCache()
390 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup()
452 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookupZdd()
507 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup2()
560 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup1()
616 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup2Zdd()
669 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup1Zdd()
732 table->cacheHits > table->cacheMisses * table->minHit) { in cuddConstantLookup()
987 offset = (double) (int) (slots * table->minHit + 1); in cuddCacheResize()
H A DcuddLCache.c238 cache->minHit = manager->minHit; in cuddLocalCacheInit()
240 cache->lookUps = (double) (int) (cacheSize * cache->minHit + 1); in cuddLocalCacheInit()
353 cache->hits > cache->lookUps * cache->minHit) { in cuddLocalCacheLookup()
1297 cache->lookUps = (double) (int) (slots * cache->minHit + 1); in cuddLocalCacheResize()
H A DcuddAPI.c1523 return((unsigned int) (0.5 + 100 * dd->minHit / (1 + dd->minHit))); in Cudd_ReadMinHit()
1550 dd->minHit = (double) hr / (100.0 - (double) hr); in Cudd_SetMinHit()
H A DcuddInt.h294 double minHit; member
363 double minHit; /* hit percentage above which to resize */ in PBORI_PREFIX() local
/dports/math/cudd/cudd-3.0.0/cudd/
H A DcuddCache.c151 unique->cacheMisses = (double) (int) (cacheSize * unique->minHit + 1); in cuddInitCache()
351 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup()
411 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookupZdd()
464 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup2()
515 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup1()
568 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup2Zdd()
619 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup1Zdd()
682 table->cacheHits > table->cacheMisses * table->minHit) { in cuddConstantLookup()
928 offset = (double) (int) (slots * table->minHit + 1); in cuddCacheResize()
H A DcuddLCache.c189 cache->minHit = manager->minHit; in cuddLocalCacheInit()
191 cache->lookUps = (double) (int) (cacheSize * cache->minHit + 1); in cuddLocalCacheInit()
290 cache->hits > cache->lookUps * cache->minHit) { in cuddLocalCacheLookup()
1217 cache->lookUps = (double) (int) (slots * cache->minHit + 1); in cuddLocalCacheResize()
H A DcuddAPI.c1545 return((unsigned int) (0.5 + 100 * dd->minHit / (1 + dd->minHit))); in Cudd_ReadMinHit()
1571 dd->minHit = (double) hr / (100.0 - (double) hr); in Cudd_SetMinHit()
H A DcuddInt.h332 double minHit; member
414 double minHit; /**< hit percentage above which to resize */ member
/dports/math/brial/BRiAl-1.2.10/cudd/
H A DcuddCache.c180 unique->cacheMisses = (double) (int) (cacheSize * unique->minHit + 1); in cuddInitCache()
390 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup()
452 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookupZdd()
507 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup2()
560 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup1()
616 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup2Zdd()
669 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup1Zdd()
732 table->cacheHits > table->cacheMisses * table->minHit) { in cuddConstantLookup()
987 offset = (double) (int) (slots * table->minHit + 1); in cuddCacheResize()
H A DcuddLCache.c238 cache->minHit = manager->minHit; in cuddLocalCacheInit()
240 cache->lookUps = (double) (int) (cacheSize * cache->minHit + 1); in cuddLocalCacheInit()
353 cache->hits > cache->lookUps * cache->minHit) { in cuddLocalCacheLookup()
1297 cache->lookUps = (double) (int) (slots * cache->minHit + 1); in cuddLocalCacheResize()
H A DcuddAPI.c1523 return((unsigned int) (0.5 + 100 * dd->minHit / (1 + dd->minHit))); in Cudd_ReadMinHit()
1550 dd->minHit = (double) hr / (100.0 - (double) hr); in Cudd_SetMinHit()
H A DcuddInt.h294 double minHit; member
363 double minHit; /* hit percentage above which to resize */ in PBORI_PREFIX() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bdd/cudd/
H A DcuddCache.c184 unique->cacheMisses = (double) (int) (cacheSize * unique->minHit + 1); in cuddInitCache()
412 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup()
479 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookupZdd()
534 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup2()
587 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup1()
642 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup2Zdd()
695 table->cacheHits > table->cacheMisses * table->minHit) { in cuddCacheLookup1Zdd()
763 table->cacheHits > table->cacheMisses * table->minHit) { in cuddConstantLookup()
1025 offset = (double) (int) (slots * table->minHit + 1); in cuddCacheResize()
H A DcuddLCache.c215 cache->minHit = manager->minHit; in cuddLocalCacheInit()
217 cache->lookUps = (double) (int) (cacheSize * cache->minHit + 1); in cuddLocalCacheInit()
330 cache->hits > cache->lookUps * cache->minHit) { in cuddLocalCacheLookup()
1162 cache->lookUps = (double) (int) (slots * cache->minHit + 1); in cuddLocalCacheResize()
H A DcuddAPI.c1277 return((unsigned int) (0.5 + 100 * dd->minHit / (1 + dd->minHit))); in Cudd_ReadMinHit()
1304 dd->minHit = (double) hr / (100.0 - (double) hr); in Cudd_SetMinHit()
H A DcuddInt.h287 double minHit; member
357 double minHit; /* hit percentage above which to resize */ member
/dports/databases/cego/cego-2.47.11/src/
H A DCegoTableCache.cc372 unsigned long minHit = 0; in addEntry() local
376 if ( minHit == 0 || pTCE->getHit() < minHit ) in addEntry()
379 minHit = pTCE->getHit(); in addEntry()
H A DCegoQueryCache.cc459 unsigned long minHit = 0; in addEntry() local
463 if ( minHit == 0 || pQCE->getHit() < minHit ) in addEntry()
468 minHit = pQCE->getHit(); in addEntry()
/dports/editors/cpeditor/cpeditor-6.8.2/third_party/testlib/
H A Dtestlib.h2140 bool minHit; member
2143 ValidatorBoundsHit(bool minHit = false, bool maxHit = false) : minHit(minHit), maxHit(maxHit) { in minHit() function
2148 __testlib_max(minHit, validatorBoundsHit.minHit), in merge()
2229 if (i->second.minHit) in getBoundsHitLog()