X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=isl_sample.h;h=29a2a3bbb2d625f1125fc2898186abaf3dddcda8;hb=de51a9bc4da5dd3f1f9f57c2362da6f9752c44e0;hp=26c8fe398b5c74646e26fed06bfa7c3aa2e1326d;hpb=6dce9ad199bb99682d17f9fbdd987e81c3d96b75;p=platform%2Fupstream%2Fisl.git diff --git a/isl_sample.h b/isl_sample.h index 26c8fe3..29a2a3b 100644 --- a/isl_sample.h +++ b/isl_sample.h @@ -1,14 +1,32 @@ +/* + * Copyright 2008-2009 Katholieke Universiteit Leuven + * + * Use of this software is governed by the MIT license + * + * Written by Sven Verdoolaege, K.U.Leuven, Departement + * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium + */ + #ifndef ISL_SAMPLE_H #define ISL_SAMPLE -#include +#include +#include #if defined(__cplusplus) extern "C" { #endif -struct isl_vec *isl_basic_set_sample(struct isl_ctx *ctx, - struct isl_basic_set *bset); +__isl_give isl_vec *isl_basic_set_sample_vec(__isl_take isl_basic_set *bset); +struct isl_vec *isl_basic_set_sample_bounded(struct isl_basic_set *bset); +__isl_give isl_vec *isl_basic_set_sample_with_cone( + __isl_take isl_basic_set *bset, __isl_take isl_basic_set *cone); + +__isl_give isl_basic_set *isl_basic_set_from_vec(__isl_take isl_vec *vec); + +int isl_tab_set_initial_basis_with_cone(struct isl_tab *tab, + struct isl_tab *tab_cone); +struct isl_vec *isl_tab_sample(struct isl_tab *tab); #if defined(__cplusplus) }