polyhedron_sample.c

   1 #include <assert.h>
   2 #include "isl_sample.h"
   3 #include "isl_vec.h"
   4 #include "isl_map_private.h"
   5
   6 int main(int argc, char **argv)
   7 {
   8         struct isl_ctx *ctx = isl_ctx_alloc();
   9         struct isl_basic_set *bset;
  10         struct isl_vec *sample;
  11
  12         bset = isl_basic_set_read_from_file(ctx, stdin, 0, ISL_FORMAT_POLYLIB);
  13         sample = isl_basic_set_sample(isl_basic_set_copy(bset));
  14         isl_vec_dump(sample, stdout, 0);
  15         assert(sample);
  16         if (sample->size > 0)
  17                 assert(isl_basic_set_contains(bset, sample));
  18         isl_basic_set_free(bset);
  19         isl_vec_free(sample);
  20         isl_ctx_free(ctx);
  21
  22         return 0;
  23 }