/*
* Delete the table
*/
void delete_bvexp_table(bvexp_table_t *table) {
uint32_t i, n, b;
void *p;
n = table->nvars;
for (i=0; i<n; i++) {
p = table->def[i];
if (p != NULL) {
b = bvvar_bitsize(table->vtbl, i);
if (b > 64) {
delete_bvmlist_coeffs(p, b);
}
}
}
// aux buffers must be deleted first
delete_bvarith_buffer(&table->aux);
delete_bvarith64_buffer(&table->aux64);
delete_pp_buffer(&table->pp);
delete_bvconstant(&table->bvconst);
safe_free(table->def);
table->def = NULL;
delete_bvmlist_store(&table->store);
delete_bvmlist64_store(&table->store64);
delete_pprod_table(&table->pprods);
delete_int_htbl(&table->htbl);
}
/*
* Delete table and store
*/
static void delete_globals(void) {
delete_pprod_table(&prod_table);
delete_bvmlist_store(&store);
cleanup_bvconstants();
}
