1/*
2 * Copyright 2008-2009 Katholieke Universiteit Leuven
3 *
4 * Use of this software is governed by the MIT 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
22void isl_seq_cpy_to_pip(Entier *dst, isl_int *src, unsigned len);
23void isl_seq_cpy_from_pip(isl_int *dst, Entier *src, unsigned len);
24
25PipMatrix *isl_basic_map_to_pip(struct isl_basic_map *bmap, unsigned pip_param,
26			 unsigned extra_front, unsigned extra_back);
27
28#endif
29