2 * Copyright 2008-2009 Katholieke Universiteit Leuven
4 * Use of this software is governed by the GNU LGPLv2.1 license
6 * Written by Sven Verdoolaege, K.U.Leuven, Departement
7 * Computerwetenschappen, Celestijnenlaan 200A, B-3001 Leuven, Belgium
15 #if defined(__cplusplus)
32 #define ISL_CONTEXT_GBR 0
33 #define ISL_CONTEXT_LEXMIN 1
36 #define ISL_GBR_NEVER 0
37 #define ISL_GBR_ONCE 1
38 #define ISL_GBR_ALWAYS 2
40 unsigned gbr_only_first
;
42 #define ISL_CLOSURE_ISL 0
43 #define ISL_CLOSURE_OMEGA 1
46 #define ISL_BOUND_BERNSTEIN 0
47 #define ISL_BOUND_RANGE 1
50 #define ISL_BERNSTEIN_FACTORS 1
51 #define ISL_BERNSTEIN_INTERVALS 2
52 int bernstein_recurse
;
55 ISL_ARG_DECL(isl_options
, struct isl_options
, isl_options_arg
)
57 extern struct isl_arg isl_options_arg
[];
59 #if defined(__cplusplus)