update isl for change in representation of isl_constraint
[ppcg.git] / clan / include / clan / vector.h
blobe026da202ab62a3a8a72a0c175154edf124ac784
2 /*+------- <| --------------------------------------------------------**
3 ** A Clan **
4 **--- /.\ -----------------------------------------------------**
5 ** <| [""M# vector.h **
6 **- A | # -----------------------------------------------------**
7 ** /.\ [""M# First version: 01/05/2008 **
8 **- [""M# | # U"U#U -----------------------------------------------**
9 | # | # \ .:/
10 | # | #___| #
11 ****** | "--' .-" ******************************************************
12 * |"-"-"-"-"-#-#-## Clan : the Chunky Loop Analyzer (experimental) *
13 **** | # ## ###### *****************************************************
14 * \ .::::'/ *
15 * \ ::::'/ Copyright (C) 2008 Cedric Bastoul *
16 * :8a| # # ## *
17 * ::88a ### This is free software; you can redistribute it *
18 * ::::888a 8a ##::. and/or modify it under the terms of the GNU Lesser *
19 * ::::::::888a88a[]::: General Public License as published by the Free *
20 *::8:::::::::SUNDOGa8a::. Software Foundation, either version 3 of the *
21 *::::::::8::::888:Y8888:: License, or (at your option) any later version. *
22 *::::':::88::::888::Y88a::::::::::::... *
23 *::'::.. . ..... .. ... . *
24 * This software is distributed in the hope that it will be useful, but *
25 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *
26 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License *
27 * for more details. *
28 * *
29 * You should have received a copy of the GNU Lesser General Public License *
30 * along with software; if not, write to the Free Software Foundation, Inc., *
31 * 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA *
32 * *
33 * Clan, the Chunky Loop Analyzer *
34 * Written by Cedric Bastoul, Cedric.Bastoul@inria.fr *
35 * *
36 ******************************************************************************/
39 #ifndef CLAN_VECTOR_H
40 # define CLAN_VECTOR_H
42 # include <stdio.h>
43 # include <scoplib/scop.h>
44 # include <scoplib/vector.h>
45 # include <clan/symbol.h>
48 # define CLAN_MAX_DEPTH 50 /* Max loop depth (max iterator number) */
49 # define CLAN_MAX_PARAMETERS 50 /* Max parameter number */
50 # define CLAN_MAX_CONSTRAINTS 50 /* Max contraint number for a domain */
53 # if defined(__cplusplus)
54 extern "C"
56 # endif
59 /*+****************************************************************************
60 * Processing functions *
61 ******************************************************************************/
62 scoplib_vector_p clan_vector_term(clan_symbol_p, int, char *);
65 # if defined(__cplusplus)
67 # endif
68 #endif /* define CLAN_VECTOR_H */