* Urs_unknowns don't assume unknowns are non-negative
*/
-struct pip_options {
+struct options {
struct isl_options *isl;
unsigned verify;
};
-struct isl_arg pip_options_arg[] = {
-ISL_ARG_CHILD(struct pip_options, isl, "isl", isl_options_arg)
-ISL_ARG_BOOL(struct pip_options, verify, 'T', "verify", 0)
+struct isl_arg options_arg[] = {
+ISL_ARG_CHILD(struct options, isl, "isl", isl_options_arg, "isl options")
+ISL_ARG_BOOL(struct options, verify, 'T', "verify", 0, NULL)
+ISL_ARG_END
};
-ISL_ARG_DEF(pip_options, struct pip_options, pip_options_arg)
+ISL_ARG_DEF(options, struct options, options_arg)
static struct isl_basic_set *to_parameter_domain(struct isl_basic_set *context)
{
int max = 0;
int rational = 0;
int n;
- struct pip_options *options;
+ struct options *options;
- options = pip_options_new_with_defaults();
+ options = options_new_with_defaults();
assert(options);
- argc = pip_options_parse(options, argc, argv);
+ argc = options_parse(options, argc, argv, ISL_ARG_ALL);
- ctx = isl_ctx_alloc_with_options(options->isl);
- options->isl = NULL;
+ ctx = isl_ctx_alloc_with_options(options_arg, options);
context = isl_basic_set_read_from_file(ctx, stdin, 0);
assert(context);
assert(!rational);
check_solution(copy, context_copy, set, empty, max);
} else {
- isl_set_dump(set, stdout, 0);
- fprintf(stdout, "no solution:\n");
- isl_set_dump(empty, stdout, 4);
+ isl_set_print(set, stdout, 0, ISL_FORMAT_ISL);
+ fprintf(stdout, "\n");
+ fprintf(stdout, "no solution: ");
+ isl_set_print(empty, stdout, 0, ISL_FORMAT_ISL);
+ fprintf(stdout, "\n");
}
isl_set_free(set);
isl_set_free(empty);
isl_ctx_free(ctx);
- free(options);
return 0;
}