update barvinok for use of new glp_ API
[ppn.git] / pn_options.h
blobdec2702a210413c60c29fd8300fb54eea0a7f401
1 #include <isl/options.h>
2 #include "size_options.h"
4 #if defined(__cplusplus)
5 extern "C" {
6 #endif
8 struct pn_options {
9 struct size_options *size;
10 int propagate;
11 int reuse;
12 int merge;
13 int shift_register;
14 int reschedule;
15 int move;
16 char *input;
17 char *output;
20 ISL_ARG_DECL(pn_options, struct pn_options, pn_options_args)
22 #if defined(__cplusplus)
24 #endif