eliminate a variable if we can (not tested)
[barvinok.git] / Enumeration_Free.c
blobd97e52295f2a92563759f148c7860374c773cf91
1 #include <polylib/polylibgmp.h>
3 void Enumeration_Free(Enumeration *en)
5 Enumeration *ee;
7 while( en )
9 free_evalue_refs( &(en->EP) );
10 Polyhedron_Free( en->ValidityDomain );
11 ee = en ->next;
12 free( en );
13 en = ee;