add copyright statements
[isl.git] / include / isl_options.h
blobe13eb006633072999c1ab8b3357933b9c9c2ca0d
1 /*
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
8 */
10 #ifndef ISL_OPTIONS_H
11 #define ISL_OPTIONS_H
13 #include <isl_arg.h>
15 struct isl_options {
16 #define ISL_LP_TAB 0
17 #define ISL_LP_PIP 1
18 unsigned lp_solver;
20 #define ISL_ILP_GBR 0
21 #define ISL_ILP_PIP 1
22 unsigned ilp_solver;
24 #define ISL_PIP_TAB 0
25 #define ISL_PIP_PIP 1
26 unsigned pip;
28 #define ISL_CONTEXT_GBR 0
29 #define ISL_CONTEXT_LEXMIN 1
30 unsigned context;
32 #define ISL_GBR_NEVER 0
33 #define ISL_GBR_ONCE 1
34 #define ISL_GBR_ALWAYS 2
35 unsigned gbr;
36 unsigned gbr_only_first;
39 ISL_ARG_DECL(isl_options, struct isl_options, isl_options_arg)
41 extern struct isl_arg isl_options_arg[];
43 #endif