/dports/math/py-brial/BRiAl-1.2.10/cudd/ |
H A D | cuddCache.c | 180 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 D | cuddLCache.c | 238 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 D | cuddAPI.c | 1523 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 D | cuddInt.h | 294 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 D | cuddCache.c | 151 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 D | cuddLCache.c | 189 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 D | cuddAPI.c | 1545 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 D | cuddInt.h | 332 double minHit; member 414 double minHit; /**< hit percentage above which to resize */ member
|
/dports/math/brial/BRiAl-1.2.10/cudd/ |
H A D | cuddCache.c | 180 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 D | cuddLCache.c | 238 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 D | cuddAPI.c | 1523 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 D | cuddInt.h | 294 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 D | cuddCache.c | 184 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 D | cuddLCache.c | 215 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 D | cuddAPI.c | 1277 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 D | cuddInt.h | 287 double minHit; member 357 double minHit; /* hit percentage above which to resize */ member
|
/dports/databases/cego/cego-2.47.11/src/ |
H A D | CegoTableCache.cc | 372 unsigned long minHit = 0; in addEntry() local 376 if ( minHit == 0 || pTCE->getHit() < minHit ) in addEntry() 379 minHit = pTCE->getHit(); in addEntry()
|
H A D | CegoQueryCache.cc | 459 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 D | testlib.h | 2140 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()
|