Merge branch 'maint'
[platform/upstream/isl.git] / isl_piplib.h
1 /*
2  * Copyright 2008-2009 Katholieke Universiteit Leuven
3  *
4  * Use of this software is governed by the GNU LGPLv2.1 license
5  *
6  * Written by Sven Verdoolaege, K.U.Leuven, Departement
7  * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
8  */
9
10 #ifndef ISL_PIPLIB_H
11 #define ISL_PIPLIB_H
12
13 #include <isl/ctx.h>
14 #include <isl/int.h>
15 #include <isl/map.h>
16 #ifndef ISL_PIPLIB
17 #error "no piplib"
18 #endif
19
20 #include <piplib/piplibMP.h>
21
22 void isl_seq_cpy_to_pip(Entier *dst, isl_int *src, unsigned len);
23 void isl_seq_cpy_from_pip(isl_int *dst, Entier *src, unsigned len);
24
25 PipMatrix *isl_basic_map_to_pip(struct isl_basic_map *bmap, unsigned pip_param,
26                          unsigned extra_front, unsigned extra_back);
27
28 #endif