C++ (Cpp) delete_int_hmap示例

示例#1

/*
 * Delete model: free all memory
 */
void delete_model(model_t *model) {
  delete_value_table(&model->vtbl);
  delete_int_hmap(&model->map);
  if (model->alias_map != NULL) {
    delete_int_hmap(model->alias_map);
    safe_free(model->alias_map);
    model->alias_map = NULL;
  }
}

示例#2

文件： val_to_term.c 项目： polazarus/ocamlyices2

/*
 * Delete cache and stack
 */
void delete_val_converter(val_converter_t *convert) {
  convert->vtbl = NULL;
  convert->terms = NULL;
  delete_int_hmap(&convert->cache);
  delete_istack(&convert->stack);
}