2 /*+------- <| --------------------------------------------------------**
4 **--- /.\ -----------------------------------------------------**
5 ** <| [""M# vector.h **
6 **- A | # -----------------------------------------------------**
7 ** /.\ [""M# First version: 01/05/2008 **
8 **- [""M# | # U"U#U -----------------------------------------------**
11 ****** | "--' .-" ******************************************************
12 * |"-"-"-"-"-#-#-## Clan : the Chunky Loop Analyzer (experimental) *
13 **** | # ## ###### *****************************************************
15 * \ ::::'/ Copyright (C) 2008 Cedric Bastoul *
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 *
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 *
33 * Clan, the Chunky Loop Analyzer *
34 * Written by Cedric Bastoul, Cedric.Bastoul@inria.fr *
36 ******************************************************************************/
40 # define CLAN_VECTOR_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)
59 /*+****************************************************************************
60 * Processing functions *
61 ******************************************************************************/
62 scoplib_vector_p
clan_vector_term(clan_symbol_p
, int, char *);
65 # if defined(__cplusplus)
68 #endif /* define CLAN_VECTOR_H */