isl_pw_qpolynomial_sum: handle existentials in wrapped domains
[barvinok.git] / barvinok_summate_options.c
blob412ba2a54432dc2fe58eaa149f3f2026cc329929
1 #include "barvinok_summate_options.h"
3 struct isl_arg options_arg[] = {
4 ISL_ARG_CHILD(struct options, verify, NULL,
5 verify_options_arg, "verification")
6 ISL_ARG_CHILD(struct options, convert, NULL,
7 convert_options_arg, "output conversion")
8 ISL_ARG_STR(struct options, var_list, 0, "variables", "list", NULL,
9 "comma separated list of variables over which to sum")
10 ISL_ARG_END
13 ISL_ARG_DEF(options, struct options, options_arg)