2 #include "isl_sample.h"
4 #include "isl_map_private.h"
6 int main(int argc
, char **argv
)
8 struct isl_ctx
*ctx
= isl_ctx_alloc();
9 struct isl_basic_set
*bset
;
10 struct isl_vec
*sample
;
12 bset
= isl_basic_set_read_from_file(ctx
, stdin
, 0, ISL_FORMAT_POLYLIB
);
13 sample
= isl_basic_set_sample_vec(isl_basic_set_copy(bset
));
14 isl_vec_dump(sample
, stdout
, 0);
17 assert(isl_basic_set_contains(bset
, sample
));
18 isl_basic_set_free(bset
);