update isl to version 0.14
[ppn.git] / mem_options.h
blob1cbbc13713fba8f9dde833b21999b9279f0a1802
1 #include <barvinok/options.h>
3 #if defined(__cplusplus)
4 extern "C" {
5 #endif
7 struct options {
8 struct barvinok_options *barvinok;
9 int with_input;
12 ISL_ARG_DECL(options, struct options, options_args)
14 #if defined(__cplusplus)
16 #endif