/*
* Initialize table
* - the table is initially empty (size = 0)
* - the array def is allocated on the first addition
* - vtbl = associated variable table
*/
void init_bvexp_table(bvexp_table_t *table, bv_vartable_t *vtbl) {
table->nvars = 0;
table->size = 0;
table->def = NULL;
table->vtbl = vtbl;
init_bvmlist_store(&table->store);
init_bvmlist64_store(&table->store64);
init_pprod_table(&table->pprods, 32);
init_int_htbl(&table->htbl, 0);
init_bvarith_buffer(&table->aux, &table->pprods, &table->store);
init_bvarith64_buffer(&table->aux64, &table->pprods, &table->store64);
init_pp_buffer(&table->pp, 10);
init_bvconstant(&table->bvconst);
}
/*
* Initialize table and store
*/
static void init_globals(void) {
init_bvconstants();
init_bvmlist_store(&store);
init_pprod_table(&prod_table, 0);
}
