/dports/math/yices/yices-2.6.2/src/utils/ |
H A D | int_hash_map.c | 65 hmap->size = n; in init_int_hmap() 125 n = hmap->size; in int_hmap_cleanup() 132 d = hmap->data; in int_hmap_cleanup() 238 assert(hmap->size > hmap->ndeleted + hmap->nelems); in int_hmap_get() 264 if (hmap->nelems + hmap->ndeleted >= hmap->resize_threshold) { in int_hmap_get() 284 assert(k >= 0 && hmap->nelems + hmap->ndeleted < hmap->size); in int_hmap_add() 303 if (hmap->nelems + hmap->ndeleted >= hmap->resize_threshold) { in int_hmap_add() 318 if (hmap->ndeleted >= hmap->cleanup_threshold) { in int_hmap_erase() 350 end = hmap->data + hmap->size; in int_hmap_get_next() 364 return int_hmap_get_next(hmap, hmap->data); in int_hmap_first_record() [all …]
|
H A D | tuple_hash_map.c | 132 hmap->size = n; in init_tuple_hmap() 158 n = hmap->size; in delete_tuple_hmap() 178 n = hmap->size; in reset_tuple_hmap() 220 n = hmap->size; in tuple_hmap_cleanup() 244 n = hmap->size; in tuple_hmap_extend() 283 assert(n <= TUPLE_HMAP_MAX_ARITY && hmap->nelems < hmap->size in tuple_hmap_find() 351 if (hmap->nelems + hmap->ndeleted > hmap->resize_threshold) { in tuple_hmap_get() 393 if (hmap->nelems + hmap->ndeleted > hmap->resize_threshold) { in tuple_hmap_add() 419 if (hmap->ndeleted > hmap->cleanup_threshold) { in tuple_hmap_erase() 457 if (hmap->ndeleted > hmap->cleanup_threshold) { in tuple_hmap_remove() [all …]
|
H A D | ptr_hash_map.c | 67 hmap->size = n; in init_ptr_hmap() 127 n = hmap->size; in ptr_hmap_cleanup() 134 d = hmap->data; in ptr_hmap_cleanup() 155 n = hmap->size; in ptr_hmap_extend() 167 d = hmap->data; in ptr_hmap_extend() 240 assert(hmap->size > hmap->ndeleted + hmap->nelems); in ptr_hmap_get() 266 if (hmap->nelems + hmap->ndeleted >= hmap->resize_threshold) { in ptr_hmap_get() 288 if (hmap->ndeleted > hmap->cleanup_threshold) { in ptr_hmap_erase() 337 if (hmap->ndeleted >= hmap->cleanup_threshold) { in ptr_hmap_remove_records() 350 end = hmap->data + hmap->size; in ptr_hmap_get_next() [all …]
|
H A D | string_hash_map.c | 67 hmap->size = n; in init_strmap() 98 n = hmap->size; in delete_strmap() 118 n = hmap->size; in reset_strmap() 158 n = hmap->size; in strmap_cleanup() 165 r = hmap->data; in strmap_cleanup() 186 n = hmap->size; in strmap_extend() 224 assert(is_power_of_two(hmap->size) && hmap->nelems + hmap->ndeleted < hmap->size); in strmap_find() 251 assert(is_power_of_two(hmap->size) && hmap->ndeleted == 0 && hmap->nelems < hmap->size); in strmap_get_clean() 275 assert(is_power_of_two(hmap->size) && hmap->nelems + hmap->ndeleted < hmap->size); in strmap_get() 302 } else if (hmap->nelems + hmap->ndeleted > hmap->resize_threshold) { in strmap_get() [all …]
|
H A D | backtrack_int_hash_map.c | 239 hmap->size = n; in init_back_hmap() 260 reset_data_arrays(&hmap->data, hmap->size); in reset_back_hmap() 272 assert(is_power_of_two(hmap->size) && hmap->size > 0); in back_hmap_find() 273 return find(&hmap->data, k, hmap->size - 1); in back_hmap_find() 334 assert(is_power_of_two(hmap->size) && hmap->size > 0); in back_hmap_get() 335 assert(hmap->size > hmap->ndeleted + hmap->nelems); in back_hmap_get() 359 if (hmap->nelems + hmap->ndeleted >= hmap->resize_threshold) { in back_hmap_get() 361 aux = get_clean(&hmap->data, k, hmap->level, hmap->size - 1); in back_hmap_get() 371 hmap->data.level[j] = hmap->level; in back_hmap_get() 387 d = erase_level(&hmap->data, hmap->level, hmap->size); in back_hmap_pop() [all …]
|
H A D | pair_hash_map.c | 67 hmap->data = tmp; in init_pmap() 68 hmap->size = n; in init_pmap() 149 n = hmap->size; in pmap_cleanup() 156 d = hmap->data; in pmap_cleanup() 177 n = hmap->size; in pmap_extend() 189 d = hmap->data; in pmap_extend() 262 assert(hmap->size > hmap->ndeleted + hmap->nelems); in pmap_get() 287 if (hmap->nelems + hmap->ndeleted >= hmap->resize_threshold) { in pmap_get() 310 if (hmap->ndeleted > hmap->cleanup_threshold) { in pmap_erase() 340 end = hmap->data + hmap->size; in pmap_get_next() [all …]
|
H A D | int_hash_map2.c | 68 hmap->data = tmp; in init_int_hmap2() 69 hmap->size = n; in init_int_hmap2() 70 hmap->nelems = 0; in init_int_hmap2() 142 n = hmap->size; in int_hmap2_extend() 156 r = hmap->data; in int_hmap2_extend() 182 assert(k0 >= 0 && k1 >= 0 && hmap->nelems < hmap->size); in int_hmap2_find() 231 assert(k0 >= 0 && k1 >= 0 && hmap->nelems < hmap->size); in int_hmap2_get() 249 if (hmap->nelems >= hmap->resize_threshold) { in int_hmap2_get() 271 assert(k0 >= 0 && k1 >= 0 && hmap->nelems < hmap->size); in int_hmap2_add() 276 assert(hmap->data[i].k0 != k0 || hmap->data[i].k1 != k1); in int_hmap2_add() [all …]
|
H A D | vector_hash_map.c | 118 hmap->data = tmp; in init_vector_hmap() 119 hmap->size = n; in init_vector_hmap() 130 n = hmap->size; in reset_vector_hmap() 137 hmap->nelems = 0; in reset_vector_hmap() 194 n = hmap->size; in extend_vector_hmap() 229 assert(is_power_of_two(hmap->size) && hmap->nelems < hmap->size); in vector_hmap_find() 252 assert(i < hmap->size && hmap->data[i] == NULL); in vector_hmap_add_new() 257 hmap->nelems ++; in vector_hmap_add_new() 258 if (hmap->nelems >= hmap->resize_threshold) { in vector_hmap_add_new() 267 assert(i < hmap->size && hmap->data[i] == v); in vector_hmap_add_to_vector() [all …]
|
/dports/math/yices/yices-2.6.2/src/mcsat/utils/ |
H A D | value_hash_map.c | 74 hmap->size = n; in init_value_hmap() 134 n = hmap->size; in value_hmap_cleanup() 141 d = hmap->data; in value_hmap_cleanup() 258 assert(hmap->size > hmap->ndeleted + hmap->nelems); in value_hmap_get() 289 if (hmap->nelems + hmap->ndeleted >= hmap->resize_threshold) { in value_hmap_get() 309 assert(k >= 0 && hmap->nelems + hmap->ndeleted < hmap->size); in value_hmap_add() 328 if (hmap->nelems + hmap->ndeleted >= hmap->resize_threshold) { in value_hmap_add() 345 if (hmap->ndeleted >= hmap->cleanup_threshold) { in value_hmap_erase() 380 end = hmap->data + hmap->size; in value_hmap_get_next() 394 return value_hmap_get_next(hmap, hmap->data); in value_hmap_first_record() [all …]
|
/dports/math/yices/yices-2.6.2/src/solvers/cdcl/ |
H A D | new_gate_hash_map.c | 93 hmap->key = keys; in init_gate_hmap() 95 hmap->size = n; in init_gate_hmap() 96 hmap->nelems = 0; in init_gate_hmap() 107 hmap->key = NULL; in delete_gate_hmap() 117 n = hmap->size; in reset_gate_hmap() 150 n = hmap->size; in extend_gate_hmap() 178 hmap->size = n2; in extend_gate_hmap() 218 assert(is_power_of_two(hmap->size) && hmap->nelems < hmap->size); in gate_hmap_find_key() 286 assert(is_power_of_two(hmap->size) && hmap->nelems < hmap->size); in gate_hmap_add_entry() 298 if (hmap->nelems > hmap->resize_threshold) { in gate_hmap_add_entry() [all …]
|
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/polly/lib/External/isl/include/isl/ |
H A D | hmap_templ.c | 40 if (!hmap) in ISL_FN() 50 return hmap; in ISL_FN() 65 if (!hmap) in ISL_FN() 72 free(hmap); in ISL_FN() 78 return hmap ? hmap->ctx : NULL; in ISL_FN() 89 *hmap = ISL_FN(ISL_HMAP,set)(*hmap, key, val); in add_key_val() 101 if (!hmap) in ISL_FN() 113 if (!hmap) in ISL_FN() 124 if (!hmap) in ISL_FN() 233 hmap = ISL_FN(ISL_HMAP,cow)(hmap); in ISL_FN() [all …]
|
/dports/math/barvinok/barvinok-0.41.5/isl/include/isl/ |
H A D | hmap_templ.c | 40 if (!hmap) in ISL_FN() 50 return hmap; in ISL_FN() 65 if (!hmap) in ISL_FN() 72 free(hmap); in ISL_FN() 78 return hmap ? hmap->ctx : NULL; in ISL_FN() 89 *hmap = ISL_FN(ISL_HMAP,set)(*hmap, key, val); in add_key_val() 101 if (!hmap) in ISL_FN() 113 if (!hmap) in ISL_FN() 124 if (!hmap) in ISL_FN() 233 hmap = ISL_FN(ISL_HMAP,cow)(hmap); in ISL_FN() [all …]
|
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/polly/lib/External/isl/include/isl/ |
H A D | hmap_templ.c | 40 if (!hmap) in ISL_FN() 50 return hmap; in ISL_FN() 65 if (!hmap) in ISL_FN() 72 free(hmap); in ISL_FN() 78 return hmap ? hmap->ctx : NULL; in ISL_FN() 89 *hmap = ISL_FN(ISL_HMAP,set)(*hmap, key, val); in add_key_val() 101 if (!hmap) in ISL_FN() 113 if (!hmap) in ISL_FN() 124 if (!hmap) in ISL_FN() 233 hmap = ISL_FN(ISL_HMAP,cow)(hmap); in ISL_FN() [all …]
|
/dports/devel/isl/isl-0.24/include/isl/ |
H A D | hmap_templ.c | 40 if (!hmap) in ISL_FN() 50 return hmap; in ISL_FN() 65 if (!hmap) in ISL_FN() 72 free(hmap); in ISL_FN() 78 return hmap ? hmap->ctx : NULL; in ISL_FN() 89 *hmap = ISL_FN(ISL_HMAP,set)(*hmap, key, val); in add_key_val() 101 if (!hmap) in ISL_FN() 113 if (!hmap) in ISL_FN() 124 if (!hmap) in ISL_FN() 233 hmap = ISL_FN(ISL_HMAP,cow)(hmap); in ISL_FN() [all …]
|
/dports/devel/llvm12/llvm-project-12.0.1.src/polly/lib/External/isl/include/isl/ |
H A D | hmap_templ.c | 40 if (!hmap) in ISL_FN() 50 return hmap; in ISL_FN() 65 if (!hmap) in ISL_FN() 72 free(hmap); in ISL_FN() 78 return hmap ? hmap->ctx : NULL; in ISL_FN() 89 *hmap = ISL_FN(ISL_HMAP,set)(*hmap, key, val); in add_key_val() 101 if (!hmap) in ISL_FN() 113 if (!hmap) in ISL_FN() 124 if (!hmap) in ISL_FN() 233 hmap = ISL_FN(ISL_HMAP,cow)(hmap); in ISL_FN() [all …]
|
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/polly/lib/External/isl/include/isl/ |
H A D | hmap_templ.c | 40 if (!hmap) in ISL_FN() 50 return hmap; in ISL_FN() 65 if (!hmap) in ISL_FN() 72 free(hmap); in ISL_FN() 78 return hmap ? hmap->ctx : NULL; in ISL_FN() 89 *hmap = ISL_FN(ISL_HMAP,set)(*hmap, key, val); in add_key_val() 101 if (!hmap) in ISL_FN() 113 if (!hmap) in ISL_FN() 124 if (!hmap) in ISL_FN() 233 hmap = ISL_FN(ISL_HMAP,cow)(hmap); in ISL_FN() [all …]
|
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/polly/lib/External/isl/include/isl/ |
H A D | hmap_templ.c | 40 if (!hmap) in ISL_FN() 50 return hmap; in ISL_FN() 65 if (!hmap) in ISL_FN() 72 free(hmap); in ISL_FN() 78 return hmap ? hmap->ctx : NULL; in ISL_FN() 89 *hmap = ISL_FN(ISL_HMAP,set)(*hmap, key, val); in add_key_val() 101 if (!hmap) in ISL_FN() 113 if (!hmap) in ISL_FN() 124 if (!hmap) in ISL_FN() 233 hmap = ISL_FN(ISL_HMAP,cow)(hmap); in ISL_FN() [all …]
|
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/polly/lib/External/isl/include/isl/ |
H A D | hmap_templ.c | 40 if (!hmap) in ISL_FN() 50 return hmap; in ISL_FN() 65 if (!hmap) in ISL_FN() 72 free(hmap); in ISL_FN() 78 return hmap ? hmap->ctx : NULL; in ISL_FN() 89 *hmap = ISL_FN(ISL_HMAP,set)(*hmap, key, val); in add_key_val() 101 if (!hmap) in ISL_FN() 113 if (!hmap) in ISL_FN() 124 if (!hmap) in ISL_FN() 233 hmap = ISL_FN(ISL_HMAP,cow)(hmap); in ISL_FN() [all …]
|
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/polly/lib/External/isl/include/isl/ |
H A D | hmap_templ.c | 40 if (!hmap) in ISL_FN() 50 return hmap; in ISL_FN() 65 if (!hmap) in ISL_FN() 72 free(hmap); in ISL_FN() 78 return hmap ? hmap->ctx : NULL; in ISL_FN() 89 *hmap = ISL_FN(ISL_HMAP,set)(*hmap, key, val); in add_key_val() 101 if (!hmap) in ISL_FN() 113 if (!hmap) in ISL_FN() 124 if (!hmap) in ISL_FN() 233 hmap = ISL_FN(ISL_HMAP,cow)(hmap); in ISL_FN() [all …]
|
/dports/devel/llvm13/llvm-project-13.0.1.src/polly/lib/External/isl/include/isl/ |
H A D | hmap_templ.c | 40 if (!hmap) in ISL_FN() 50 return hmap; in ISL_FN() 65 if (!hmap) in ISL_FN() 72 free(hmap); in ISL_FN() 78 return hmap ? hmap->ctx : NULL; in ISL_FN() 89 *hmap = ISL_FN(ISL_HMAP,set)(*hmap, key, val); in add_key_val() 101 if (!hmap) in ISL_FN() 113 if (!hmap) in ISL_FN() 124 if (!hmap) in ISL_FN() 233 hmap = ISL_FN(ISL_HMAP,cow)(hmap); in ISL_FN() [all …]
|
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/polly/lib/External/isl/include/isl/ |
H A D | hmap_templ.c | 40 if (!hmap) in ISL_FN() 50 return hmap; in ISL_FN() 65 if (!hmap) in ISL_FN() 72 free(hmap); in ISL_FN() 78 return hmap ? hmap->ctx : NULL; in ISL_FN() 89 *hmap = ISL_FN(ISL_HMAP,set)(*hmap, key, val); in add_key_val() 101 if (!hmap) in ISL_FN() 113 if (!hmap) in ISL_FN() 124 if (!hmap) in ISL_FN() 229 hmap = ISL_FN(ISL_HMAP,cow)(hmap); in ISL_FN() [all …]
|
/dports/games/scorched3d/scorched/src/common/landscapemap/ |
H A D | HeightMapModifier.cpp | 36 hmap.setHeight(x, hmap.getMapHeight(), fixed(0)); in levelSurround() 37 hmap.setHeight(x, hmap.getMapHeight()-1, fixed(0)); in levelSurround() 44 hmap.setHeight(hmap.getMapWidth(), y, fixed(0)); in levelSurround() 45 hmap.setHeight(hmap.getMapWidth()-1, y, fixed(0)); in levelSurround() 116 if (x>0 && y>0 && x<hmap.getMapWidth() && y<hmap.getMapHeight()) in edgeEnhance() 123 pixel = (hmap.getHeight(x - 1, y) - hmap.getHeight(x + 1, y)).abs(); in edgeEnhance() 126 pixel = (hmap.getHeight(x, y - 1) - hmap.getHeight(x, y + 1)).abs(); in edgeEnhance() 210 int *seen = new int[(hmap.getMapWidth()+1) * (hmap.getMapHeight()+1)]; in waterErrosion() 389 if (hmap.getHeight(x,y) > max) max = hmap.getHeight(x,y); in scale() 390 if (hmap.getHeight(x,y) < min) min = hmap.getHeight(x,y); in scale() [all …]
|
/dports/math/yices/yices-2.6.2/src/terms/ |
H A D | rational_hash_maps.c | 67 hmap->size = n; in init_xq_hmap() 85 n = hmap->size; in delete_xq_hmap() 104 n = hmap->size; in reset_xq_hmap() 164 n = hmap->size; in xq_hmap_cleanup() 174 r = hmap->data; in xq_hmap_cleanup() 188 hmap->size = n; in xq_hmap_cleanup() 202 n = hmap->size; in xq_hmap_extend() 249 assert(hmap->nelems + hmap->ndeleted < hmap->size); // otherwise the function may loop in xq_hmap_multiplicity() 277 assert(hmap->nelems + hmap->ndeleted < hmap->size); in xq_hmap_add_entry() 314 if (hmap->nelems + hmap->ndeleted >= hmap->resize_threshold) { in xq_hmap_add_entry() [all …]
|
/dports/devel/libthmap/thmap-8149b27/src/ |
H A D | t_thmap.c | 25 thmap_t *hmap; in test_basic() local 29 assert(hmap != NULL); in test_basic() 52 thmap_destroy(hmap); in test_basic() 59 thmap_t *hmap; in test_large() local 86 thmap_destroy(hmap); in test_large() 93 thmap_t *hmap; in test_delete() local 119 thmap_gc(hmap, thmap_stage_gc(hmap)); in test_delete() 128 thmap_t *hmap; in test_longkey() local 177 thmap_t *hmap; in test_random() local 223 thmap_gc(hmap, thmap_stage_gc(hmap)); in test_random() [all …]
|
/dports/java/eclipse/eclipse.platform.releng.aggregator-R4_16/eclipse.platform.swt/tests/org.eclipse.swt.tests/ManualTests/org/eclipse/swt/tests/manual/ |
H A D | Bug548286_DumpSystemColors.java | 26 HashMap<Integer, String> hmap = new HashMap<>(); in dumpSystemColors() local 27 hmap.put(SWT.COLOR_WHITE, "COLOR_WHITE"); in dumpSystemColors() 28 hmap.put(SWT.COLOR_BLACK, "COLOR_BLACK"); in dumpSystemColors() 29 hmap.put(SWT.COLOR_RED, "COLOR_RED"); in dumpSystemColors() 30 hmap.put(SWT.COLOR_DARK_RED, "COLOR_DARK_RED"); in dumpSystemColors() 31 hmap.put(SWT.COLOR_GREEN, "COLOR_GREEN"); in dumpSystemColors() 32 hmap.put(SWT.COLOR_DARK_GREEN, "COLOR_DARK_GREEN"); in dumpSystemColors() 33 hmap.put(SWT.COLOR_YELLOW, "COLOR_YELLOW"); in dumpSystemColors() 34 hmap.put(SWT.COLOR_DARK_YELLOW, "COLOR_DARK_YELLOW"); in dumpSystemColors() 41 hmap.put(SWT.COLOR_WIDGET_BORDER, "COLOR_WIDGET_BORDER"); in dumpSystemColors() [all …]
|