bound_options.c

   1 #include "bound_options.h"
   2
   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, "input 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_LONG(struct options, split, 0, "split", 0, NULL)
  11 ISL_ARG_OPT_LONG(struct options, iterate, 0, "iterate", 0, -1,
  12         "exact result by iterating over domain (of specified maximal size)")
  13 ISL_ARG_BOOL(struct options, lower, 0, "lower", 0,
  14         "compute lower bound instead of upper bound")
  15 ISL_ARG_END
  16 };
  17
  18 ISL_ARG_DEF(options, struct options, options_arg)