isl_tab_from_basic_map: preserve all constraints in input when tracking
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 16 Jan 2012 15:55:44 +0000 (16:55 +0100)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 16 Jan 2012 15:55:44 +0000 (16:55 +0100)
commit328c78f7d2fdc3068a2a7232149d6d0b35a35c8d
treef8b4e55c7624c19d53a189afe6152289d4d4066d
parent8d08ef6dbc93594d3551b6a19037009a8a810062
isl_tab_from_basic_map: preserve all constraints in input when tracking

If the user wants to keep track of a basic map representation of the tableau,
then we need to make sure that the initial tableau corresponds exactly to
the input.  In particular, we need to make sure that no (redundant) constraints
are removed.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
14 files changed:
basis_reduction_templ.c
isl_affine_hull.c
isl_coalesce.c
isl_convex_hull.c
isl_lp.c
isl_map.c
isl_map_simplify.c
isl_map_subtract.c
isl_sample.c
isl_scan.c
isl_tab.c
isl_tab.h
isl_tab_pip.c
isl_vertices.c