void print_egraph_root_classes_details(FILE *f, egraph_t *egraph) {
uint32_t i, n;
int_hset_t roots;
init_int_hset(&roots, 0);
collect_root_classes(egraph, &roots);
n = roots.nelems;
for (i=0; i<n; i++) {
print_class_details(f, egraph, roots.data[i]);
}
delete_int_hset(&roots);
}
/*
* Delete: free all memory
*/
void delete_intern_tbl(intern_tbl_t *tbl) {
delete_int32_array(&tbl->map);
delete_int32_array(&tbl->type);
delete_uint8_array(&tbl->rank);
if (tbl->cache != NULL) {
delete_int_hset(tbl->cache);
safe_free(tbl->cache);
tbl->cache = NULL;
}
if (tbl->queue != NULL) {
delete_int_queue(tbl->queue);
safe_free(tbl->queue);
tbl->queue = NULL;
}
}
/*
* Delete
*/
void delete_flattener(flattener_t *flat) {
delete_int_queue(&flat->queue);
delete_int_hset(&flat->cache);
delete_ivector(&flat->resu);
}
