isl_basic_{map,set}: explicitly store constraints defining div
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 12 Aug 2008 10:36:50 +0000 (12:36 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 25 Aug 2008 07:24:18 +0000 (09:24 +0200)
commitece3a0d8b705ac5de0c8250dee7c40fe2a74d27c
treec71f8df4451b3012ee3af91643993cb97b54e97b
parent60a47c13e01346f5c63aa46c80bd8e1f73910f48
isl_basic_{map,set}: explicitly store constraints defining div

These constraints are redundant, but we need then while performing
various operations, so it is easier to keep them available explicitly.
include/isl_int.h
include/isl_seq.h
isl_map.c
isl_map_piplib.c
isl_map_polylib.c
isl_seq.c