/dports/math/yices/yices-2.6.2/src/mcsat/ |
H A D | gc.c | 37 delete_int_hmap(&gc->old2new_map); in gc_info_destruct() 154 delete_int_hmap(objs); in gc_info_sweep_int_hmap_keys() 174 delete_int_hmap(objs); in gc_info_sweep_int_hmap_values()
|
H A D | watch_list_manager.c | 33 delete_int_hmap(&wlm->list_to_constraint_map); in watch_list_manager_destruct() 34 delete_int_hmap(&wlm->constraint_to_list_map); in watch_list_manager_destruct() 157 delete_int_hmap(&wlm->list_to_constraint_map); in watch_list_manager_gc_sweep_lists() 159 delete_int_hmap(&wlm->constraint_to_list_map); in watch_list_manager_gc_sweep_lists()
|
H A D | conflict.c | 102 delete_int_hmap(&conflict->var_to_element_map); in conflict_destruct() 341 delete_int_hmap(&disjunct_frontier); in conflict_disjunct_substitute()
|
H A D | preprocessor.c | 59 delete_int_hmap(&pre->purification_map); in preprocessor_destruct() 61 delete_int_hmap(&pre->preprocess_map); in preprocessor_destruct() 64 delete_int_hmap(&pre->equalities); in preprocessor_destruct()
|
H A D | variable_db.c | 43 delete_int_hmap(&var_db->term_to_variable_map); in variable_db_destruct()
|
/dports/math/yices/yices-2.6.2/src/mcsat/utils/ |
H A D | int_mset.c | 35 delete_int_hmap(&set->count_map); in int_mset_destruct() 36 delete_int_hmap(&set->element_list_position); in int_mset_destruct()
|
H A D | substitution.c | 15 delete_int_hmap(&subst->substitution_fwd); in substitution_destruct() 16 delete_int_hmap(&subst->substitution_bck); in substitution_destruct()
|
/dports/math/yices/yices-2.6.2/src/model/ |
H A D | models.c | 73 delete_int_hmap(&model->map); in delete_model() 75 delete_int_hmap(model->alias_map); in delete_model()
|
H A D | term_to_val.c | 44 delete_int_hmap(&convert->cache); in delete_term_converter()
|
H A D | val_to_term.c | 49 delete_int_hmap(&convert->cache); in delete_val_converter()
|
H A D | literal_collector.c | 84 delete_int_hmap(&collect->tcache); in delete_lit_collector() 85 delete_int_hmap(&collect->fcache); in delete_lit_collector()
|
/dports/math/yices/yices-2.6.2/src/utils/ |
H A D | int_hash_map.h | 84 extern void delete_int_hmap(int_hmap_t *hmap);
|
H A D | int_hash_map.c | 77 void delete_int_hmap(int_hmap_t *hmap) { in delete_int_hmap() function
|
/dports/math/yices/yices-2.6.2/src/mcsat/nra/ |
H A D | nra_plugin.c | 173 delete_int_hmap(&nra->constraint_unit_info); in nra_plugin_destruct() 174 delete_int_hmap(&nra->constraint_unit_var); in nra_plugin_destruct() 178 delete_int_hmap(&nra->lp_data.mcsat_to_lp_var_map); in nra_plugin_destruct() 179 delete_int_hmap(&nra->lp_data.lp_to_mcsat_var_map); in nra_plugin_destruct() 181 delete_int_hmap(&nra->evaluation_value_cache); in nra_plugin_destruct() 182 delete_int_hmap(&nra->evaluation_timestamp_cache); in nra_plugin_destruct() 184 delete_int_hmap(&nra->feasible_set_cache_top_var[0]); in nra_plugin_destruct() 185 delete_int_hmap(&nra->feasible_set_cache_top_var[1]); in nra_plugin_destruct() 186 delete_int_hmap(&nra->feasible_set_cache_timestamp[0]); in nra_plugin_destruct() 187 delete_int_hmap(&nra->feasible_set_cache_timestamp[1]); in nra_plugin_destruct()
|
H A D | poly_constraint.c | 144 delete_int_hmap(&db->var_to_constraint_map); in poly_constraint_db_gc_sweep() 309 delete_int_hmap(&db->var_to_constraint_map); in poly_constraint_db_destruct()
|
H A D | feasible_set_db.c | 189 delete_int_hmap(&db->var_to_feasible_set_map); in feasible_set_db_delete()
|
/dports/math/yices/yices-2.6.2/tests/unit/ |
H A D | test_int_hmap.c | 112 delete_int_hmap(&map); in main()
|
/dports/math/yices/yices-2.6.2/src/mcsat/bv/ |
H A D | bv_plugin.c | 195 delete_int_hmap(&bv->constraint_unit_info); in bv_plugin_destruct() 196 delete_int_hmap(&bv->constraint_unit_var); in bv_plugin_destruct() 197 delete_int_hmap(&bv->variable_propagation_type); in bv_plugin_destruct() 204 delete_int_hmap(&bv->visited_cache); in bv_plugin_destruct()
|
H A D | bv_evaluator.c | 52 delete_int_hmap(&evaluator->term_values); in bv_evaluator_destruct() 53 delete_int_hmap(&evaluator->atom_values); in bv_evaluator_destruct() 54 delete_int_hmap(&evaluator->level_map); in bv_evaluator_destruct()
|
H A D | bv_bdd_manager.c | 250 delete_int_hmap(&bddm->term_to_info_index); in bv_bdd_manager_delete() 253 delete_int_hmap(&bddm->visited); in bv_bdd_manager_delete()
|
H A D | bv_feasible_set_db.c | 195 delete_int_hmap(&db->var_to_feasible_set_map); in bv_feasible_set_db_delete()
|
/dports/math/yices/yices-2.6.2/src/terms/ |
H A D | subst_cache.c | 261 delete_int_hmap(&cache->prime); in delete_subst_cache()
|
H A D | full_subst.c | 56 delete_int_hmap(&subst->map); in delete_full_subst() 58 delete_int_hmap(&subst->cache); in delete_full_subst()
|
H A D | types.c | 1150 delete_int_hmap(table->max_tbl); in delete_type_table() 1494 delete_int_hmap(&hmap); in type_substitution() 1575 delete_int_hmap(&matcher->tc); in delete_type_matcher()
|
/dports/math/yices/yices-2.6.2/src/context/ |
H A D | shared_terms.c | 40 delete_int_hmap(&map->hmap); in delete_sharing_map()
|