isl_pw_qpolynomial_sum: handle existentials in wrapped domains
[barvinok.git] / barvinok_enumerate_e_options.c
bloba4ea1975af2369bcb9e482241601955db1fbea77
1 #include "barvinok_enumerate_e_options.h"
2 #include "config.h"
4 struct isl_arg enumerate_e_options_arg[] = {
5 ISL_ARG_CHILD(struct enumerate_e_options, verify, NULL,
6 verify_options_arg, "verification")
7 ISL_ARG_CHILD(struct enumerate_e_options, convert, NULL,
8 convert_options_arg, "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_ARG_END
24 ISL_ARG_DEF(enumerate_e_options, struct enumerate_e_options, enumerate_e_options_arg)