isl_tab_basic_map_partial_lexopt: detect and exploit simple symmetries

[platform/upstream/isl.git] / isl_options.c

diff --git a/isl_options.c b/isl_options.c
index 28afd33..d7f4169 100644 (file)
--- a/isl_options.c
+++ b/isl_options.c
@@ -11,9 +11,9 @@
 #include <stdlib.h>
 #include <string.h>
 
-#include "isl_ctx.h"
-#include "isl_options.h"
-#include <isl_version.h>
+#include <isl/ctx.h>
+#include <isl/options.h>
+#include <isl/version.h>
 
 struct isl_arg_choice isl_lp_solver_choice[] = {
        {"tab",         ISL_LP_TAB},
@@ -105,6 +105,8 @@ ISL_ARG_FLAGS(struct isl_options, bernstein_recurse, 0,
 ISL_ARG_BOOL(struct isl_options, bernstein_triangulate, 0,
        "bernstein-triangulate", 1,
        "triangulate domains during Bernstein expansion")
+ISL_ARG_BOOL(struct isl_options, pip_symmetry, 0, "pip-symmetry", 1,
+       "detect simple symmetries in PIP input")
 ISL_ARG_VERSION(print_version)
 ISL_ARG_END
 };