/*
* Initialize model
* - terms = attached term table
* - keep_subst = whether to support alias_map or not
* - map and vtbl are given default sizes
* - alias_map is NULL
*/
void init_model(model_t *model, term_table_t *terms, bool keep_subst) {
init_value_table(&model->vtbl, 0, terms->types);
value_table_set_namer(&model->vtbl, terms, (unint_namer_fun_t) name_of_const);
init_int_hmap(&model->map, 0);
model->alias_map = NULL;
model->terms = terms;
model->has_alias = keep_subst;
}
int main(void) {
init_type_table(&types, 10);
init_value_table(&vtbl, 0, &types);
init_fresh_val_maker(&maker, &vtbl);
init_base_types();
test_base_types();
delete_fresh_val_maker(&maker);
delete_value_table(&vtbl);
delete_type_table(&types);
return 0;
}
int main(void) {
init_type_table(&types, 10);
init_value_table(&vtbl, 0, &types);
init_base_types();
test_base_types();
test_pairs(1000);
test_triples(1000);
test_unary_functions(1000);
test_bin_functions(1000);
test_deep_type();
delete_value_table(&vtbl);
delete_type_table(&types);
return 0;
}
