Enumeration_Free.c

   1 #include <polylib/polylibgmp.h>
   2
   3 void Enumeration_Free(Enumeration *en)
   4 {
   5   Enumeration *ee;
   6
   7   while( en )
   8   {
   9           free_evalue_refs( &(en->EP) );
  10           Polyhedron_Free( en->ValidityDomain );
  11           ee = en ->next;
  12           free( en );
  13           en = ee;
  14   }
  15 }