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