Home
last modified time | relevance | path

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

/dports/math/yices/yices-2.6.2/src/model/
H A Dconcrete_values.h218 #define MAP_HTBL_RESIZE_RATIO 0.7 macro
H A Dconcrete_values.c60 htbl->resize_threshold = (uint32_t) (MAP_HTBL_RESIZE_RATIO * n); in init_map_htbl()
246 table->mtbl.resize_threshold = (uint32_t) (MAP_HTBL_RESIZE_RATIO * n2); in map_htbl_extend()