void hitlist_fini(void) { if (hitlists != NULL) { sht_delete(hitlists); } return; }
void exp_clear(void) { if (exp_defs) { sht_delete(exp_defs); } if (exp_garbage) { ll_delete(exp_garbage, (ll_delete_t) exp_delete); } return; }
void hitlist_fini(void) { if (hitlists != NULL) { sht_delete(hitlists); } return; }
void exp_clear(void) { if (exp_defs) { sht_delete(exp_defs); } if (exp_garbage) { ll_delete(exp_garbage, (ll_delete_t) exp_delete); } return; }