isl_sample.h

   1 #ifndef ISL_SAMPLE_H
   2 #define ISL_SAMPLE
   3
   4 #include <isl_set.h>
   5 #include <isl_tab.h>
   6
   7 #if defined(__cplusplus)
   8 extern "C" {
   9 #endif
  10
  11 __isl_give isl_vec *isl_basic_set_sample_vec(__isl_take isl_basic_set *bset);
  12 struct isl_vec *isl_basic_set_sample_bounded(struct isl_basic_set *bset);
  13 __isl_give isl_vec *isl_basic_set_sample_with_cone(
  14         __isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone);
  15
  16 __isl_give isl_basic_set *isl_basic_set_from_vec(__isl_take isl_vec *vec);
  17
  18 int isl_tab_set_initial_basis_with_cone(struct isl_tab *tab,
  19         struct isl_tab *tab_cone);
  20 struct isl_vec *isl_tab_sample(struct isl_tab *tab);
  21
  22 #if defined(__cplusplus)
  23 }
  24 #endif
  25
  26 #endif