lexmin_options.c

   1 #include "lexmin.h"
   2
   3 static struct isl_arg_choice check[] = {
   4         {"none",                BV_LEXMIN_EMPTINESS_CHECK_NONE},
   5         {"count",               BV_LEXMIN_EMPTINESS_CHECK_COUNT},
   6         {"sample",              BV_LEXMIN_EMPTINESS_CHECK_SAMPLE},
   7         {0}
   8 };
   9
  10 struct isl_arg lexmin_options_arg[] = {
  11 ISL_ARG_CHILD(struct lexmin_options, verify, NULL,
  12         verify_options_arg, "verification")
  13 ISL_ARG_BOOL(struct lexmin_options, reduce, 0, "reduction", 1, NULL)
  14 ISL_ARG_CHOICE(struct lexmin_options, emptiness_check,
  15         0, "emptiness-check", check, BV_LEXMIN_EMPTINESS_CHECK_SAMPLE, NULL)
  16 ISL_ARG_END
  17 };
  18
  19 ISL_ARG_DEF(lexmin_options, struct lexmin_options, lexmin_options_arg)