update isl for normalization of isl_term_get_div result
[barvinok.git] / barvinok_enumerate_e_options.c
blob7e54a56438326606335ae12530e856c1fdc4356d
1 #include "barvinok_enumerate_e_options.h"
2 #include "config.h"
4 ISL_ARGS_START(struct enumerate_e_options, enumerate_e_options_args)
5 ISL_ARG_CHILD(struct enumerate_e_options, verify, NULL,
6 &verify_options_args, "verification")
7 ISL_ARG_CHILD(struct enumerate_e_options, convert, NULL,
8 &convert_options_args, "output conversion")
9 ISL_ARG_BOOL(struct enumerate_e_options, isl, 'i', "isl", 0, NULL)
10 #ifdef HAVE_OMEGA
11 ISL_ARG_BOOL(struct enumerate_e_options, omega, 'o', "omega", 0, NULL)
12 #endif
13 #ifdef USE_PARKER
14 ISL_ARG_BOOL(struct enumerate_e_options, parker, 'P', "parker", 0, NULL)
15 #endif
16 ISL_ARG_BOOL(struct enumerate_e_options, scarf, 'S', "scarf", 0, NULL)
17 ISL_ARG_BOOL(struct enumerate_e_options, series, 's', "series", 0,
18 "compute rational generating function")
19 ISL_ARG_BOOL(struct enumerate_e_options, function, 'e', "explicit", 0,
20 "convert rgf to psp")
21 ISL_ARGS_END
23 ISL_ARG_DEF(enumerate_e_options, struct enumerate_e_options,
24 enumerate_e_options_args)