update isl to version 0.23
[barvinok.git] / barvinok_union_options.c
blob85420f21a3ccd408c3c2d61a629a603f7e5d3999
1 #include <barvinok/options.h>
2 #include "barvinok_union_options.h"
4 ISL_ARGS_START(struct union_options, union_options_args)
5 ISL_ARG_CHILD(struct union_options, barvinok, NULL, &barvinok_options_args,
6 NULL)
7 ISL_ARG_BOOL(struct union_options, series, 's', "series", 0,
8 "compute rational generating function")
9 ISL_ARG_BOOL(struct union_options, check, 'c', "check", 0,
10 "check that function output corresponds to expected result")
11 ISL_ARGS_END
13 ISL_ARG_DEF(union_options, struct union_options, union_options_args)