test_bound.c: verify_point: use isl_val
[barvinok/uuh.git] / zsolve / defs.h
blob1c4f59f8075634c318ebd3bbec9746f2d4d7e0d3
1 /*
2 4ti2 -- A software package for algebraic, geometric and combinatorial
3 problems on linear spaces.
5 Copyright (C) 2006 4ti2 team.
6 Main author(s): Matthias Walter.
8 This program is free software; you can redistribute it and/or
9 modify it under the terms of the GNU General Public License
10 as published by the Free Software Foundation; either version 2
11 of the License, or (at your option) any later version.
13 This program is distributed in the hope that it will be useful,
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
16 GNU General Public License for more details.
18 You should have received a copy of the GNU General Public License
19 along with this program; if not, write to the Free Software
20 Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
23 #ifndef _4ti2_DEFS_H
24 #define _4ti2_DEFS_H
26 #include <stdio.h>
28 // bool
30 #ifndef bool
31 # define bool int
32 #endif
34 #ifndef true
35 # define true 1
36 #endif
38 #ifndef false
39 # define false 0
40 #endif
42 // math
44 #ifndef MAXINT
45 # define MAXINT ((int)(~(unsigned)0 >> 1))
46 #endif
49 int gcd(int, int);
51 #define minm(x,y) ( ((x)<(y)) ? (x) : (y) )
52 int mini(int, int);
53 #define maxm(x,y) ( ((x)>(y)) ? (x) : (y) )
54 int maxi(int, int);
55 double maxd(double, double);
57 #endif