Home
last modified time | relevance | path

Searched refs:BACK_HMAP_RESIZE_RATIO (Results 1 – 2 of 2) sorted by relevance

/dports/math/yices/yices-2.6.2/src/utils/
H A Dbacktrack_int_hash_map.h82 #define BACK_HMAP_RESIZE_RATIO 0.6 macro
H A Dbacktrack_int_hash_map.c242 hmap->resize_threshold = (uint32_t)(n * BACK_HMAP_RESIZE_RATIO); in init_back_hmap()
300 hmap->resize_threshold = (uint32_t) (new_size * BACK_HMAP_RESIZE_RATIO); in back_hmap_extend()