configure.in: set AC_CONFIG_MACRO_DIR
[piplib.git] / source / type.h
blob754dba6c40a611dd970aeb5e5770f4c75d7e1b43
1 /******************************************************************************
2 * PIP : Parametric Integer Programming *
3 ******************************************************************************
4 * type.h *
5 ******************************************************************************
6 * *
7 * Copyright Paul Feautrier, 1988, 1993, 1994, 1996, 2002 *
8 * *
9 * This library is free software; you can redistribute it and/or modify it *
10 * under the terms of the GNU Lesser General Public License as published by *
11 * the Free Software Foundation; either version 2.1 of the License, or (at *
12 * your option) any later version. *
13 * *
14 * This software is distributed in the hope that it will be useful, but *
15 * WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY *
16 * or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License *
17 * for more details. *
18 * *
19 * You should have received a copy of the GNU Lesser General Public License *
20 * along with this library; if not, write to the Free Software Foundation, *
21 * Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA *
22 * *
23 * Written by Paul Feautrier *
24 * *
25 ******************************************************************************/
27 #ifndef TYPE_H
28 #define TYPE_H
29 #if defined(__cplusplus)
30 extern "C"
32 #endif
34 /* Modified by Serge Torres to handle very big problems (since 1.3.4 we can put
35 * any value we want: sol_space is allocated dynamically), but it is left by
36 * default to 4096 because of time/space reasons for most people.
37 * #define SOL_SIZE 67108864
39 #define SOL_SIZE 4096
41 extern Entier UN;
42 extern Entier ZERO;
44 #define Pip_True 1
45 #define Pip_False 0
48 #ifdef TC
49 #define DEBUG 8
50 #endif
52 #define Q if(cross_product>=limit)
54 #define MAXCOL 512
55 #define MAXPARM 50
57 #if defined(__cplusplus)
59 #endif
60 #endif /* define _H */