projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9214433) | patch
isl_basic_map_compute_divs: use isl_basic_set_lexmin and move to isl_map.c
authorSven Verdoolaege <skimo@kotnet.org>
Mon, 3 Aug 2009 18:40:22 +0000 (20:40 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 7 Aug 2009 09:21:52 +0000 (11:21 +0200)
commit7c4cf0f986cfb1e8e1bf407d4896f48544df9ee2
tree40aeedfec94d555d2548ac750cb991b5e0446d7etree | snapshot
parent92144330d743ee003f284a6a158e2a2ec43ab351commit | diff
isl_basic_map_compute_divs: use isl_basic_set_lexmin and move to isl_map.c

There is no need for the core of isl_basic_map_compute_divs to use any
piplib specific code.  We therefore move the code to isl_map.c so
that it can also be used on top of another PILP solver.
isl_map.c diff | blob | history
isl_map_no_piplib.c diff | blob | history
isl_map_piplib.c diff | blob | history
isl_map_piplib.h diff | blob | history
Domain: System / Uncategorized;