void et_free_tree (struct et_node *t) { while (t->son) et_split (t->son); if (t->father) et_split (t); pool_free (et_occurrences, t->rightmost_occ); pool_free (et_nodes, t); }
void et_free_tree (struct et_node *t) { while (t->son) et_split (t->son); if (t->father) et_split (t); delete t->rightmost_occ; delete t; }