X-Git-Url: http://review.tizen.org/git/?a=blobdiff_plain;f=polytope_scan.c;h=959451585fefcfd4c113e701da8bb70bd5511f9d;hb=ca90b151a05f17ccc1c3215ff24dc5d7b9198ff4;hp=269bd8154f450c5660a3e0a701c08d3efc2804b1;hpb=093abd9827a83a22e2f06ff1e0f6f14d8ed9245c;p=platform%2Fupstream%2Fisl.git diff --git a/polytope_scan.c b/polytope_scan.c index 269bd81..9594515 100644 --- a/polytope_scan.c +++ b/polytope_scan.c @@ -1,15 +1,16 @@ /* * Copyright 2008-2009 Katholieke Universiteit Leuven * - * Use of this software is governed by the GNU LGPLv2.1 license + * 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 */ #include +#include #include "isl_equalities.h" -#include "isl_seq.h" +#include #include "isl_scan.h" #include @@ -48,12 +49,14 @@ error: static struct isl_mat *isl_basic_set_scan_samples(struct isl_basic_set *bset) { + isl_ctx *ctx; unsigned dim; struct scan_samples ss; + ctx = isl_basic_set_get_ctx(bset); dim = isl_basic_set_total_dim(bset); ss.callback.add = scan_samples_add_sample; - ss.samples = isl_mat_alloc(bset->ctx, 0, 1 + dim); + ss.samples = isl_mat_alloc(ctx, 0, 1 + dim); if (!ss.samples) goto error; @@ -90,9 +93,9 @@ int main(int argc, char **argv) struct isl_basic_set *bset; struct isl_mat *samples; - bset = isl_basic_set_read_from_file(ctx, stdin, 0); + bset = isl_basic_set_read_from_file(ctx, stdin); samples = isl_basic_set_samples(bset); - isl_mat_dump(samples, stdout, 0); + isl_mat_print_internal(samples, stdout, 0); isl_mat_free(samples); isl_ctx_free(ctx);