size_options.c

   1 #include <barvinok/options.h>
   2 #include "size_options.h"
   3 #include "config.h"
   4
   5 static struct isl_arg_choice size[] = {
   6         {"bernstein",   SIZE_BERNSTEIN},
   7         {"simulate",    SIZE_SIMULATE},
   8         {0}
   9 };
  10
  11 ISL_ARGS_START(struct size_options, size_options_args)
  12 ISL_ARG_CHILD(struct size_options, barvinok, NULL, &barvinok_options_args,
  13         "barvinok options")
  14 ISL_ARG_CHOICE(struct size_options, flags, 0, "size", size, 0, NULL)
  15 ISL_ARGS_END