update isl for change in lexicographic optimization
[ppn.git] / eqv3_options.h
blob2eae63dc668ab5c96bc43870b8737a7c3a1aeba7
1 #include <isl/options.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 struct options {
8 struct isl_options *isl;
10 char *context;
12 const char *program[2];
14 #define REACH_TC 0
15 #define REACH_FAST 1
16 #define REACH_LEVER 2
17 #define REACH_ASPIC 3
18 int reachability;
21 ISL_ARG_DECL(options, struct options, options_args)
23 #if defined(__cplusplus)
25 #endif