37 lines · c
1/*2 * Copyright 2008-2009 Katholieke Universiteit Leuven3 *4 * Use of this software is governed by the MIT license5 *6 * Written by Sven Verdoolaege, K.U.Leuven, Departement7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium8 */9 10#include <assert.h>11#include <isl_map_private.h>12#include "isl_sample.h"13#include <isl/vec.h>14 15int main(int argc, char **argv)16{17 struct isl_ctx *ctx = isl_ctx_alloc();18 struct isl_basic_set *bset;19 struct isl_vec *sample;20 isl_printer *p;21 22 bset = isl_basic_set_read_from_file(ctx, stdin);23 sample = isl_basic_set_sample_vec(isl_basic_set_copy(bset));24 p = isl_printer_to_file(ctx, stdout);25 p = isl_printer_print_vec(p, sample);26 p = isl_printer_end_line(p);27 isl_printer_free(p);28 assert(sample);29 if (isl_vec_size(sample) > 0)30 assert(isl_basic_set_contains(bset, sample));31 isl_basic_set_free(bset);32 isl_vec_free(sample);33 isl_ctx_free(ctx);34 35 return 0;36}37