/** * free_disjuncts() -- free the list of disjuncts pointed to by c * (does not free any strings) */ void free_disjuncts(Disjunct *c) { Disjunct *c1; for (;c != NULL; c = c1) { c1 = c->next; free_connectors(c->left); free_connectors(c->right); xfree((char *)c, sizeof(Disjunct)); } }
void free_disjuncts(Disjunct *c) { /* free the list of disjuncts pointed to by c (does not free any strings) */ Disjunct *c1; for (;c != NULL; c = c1) { c1 = c->next; free_connectors(c->left); free_connectors(c->right); xfree((char *)c, sizeof(Disjunct)); } }
void connector_set_delete(Connector_set * conset) { int i; if (conset == NULL) return; for (i=0; i<conset->table_size; i++) free_connectors(conset->hash_table[i]); xfree(conset->hash_table, conset->table_size * sizeof(Connector *)); xfree(conset, sizeof(Connector_set)); }