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")
13 ISL_ARG_DEF(options
, struct options
, options_arg
)