projects / platform / upstream / isl.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4cd799a) | patch
isl_basic_set_project_out: handle rational sets
authorSven Verdoolaege <skimo@kotnet.org>
Sun, 18 Oct 2009 16:00:05 +0000 (18:00 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Wed, 21 Oct 2009 20:58:47 +0000 (22:58 +0200)
commit11b30251d54762ff99504a8142fe3fdd96f05455
tree5b4f413e09376e8877cc2a2136ad78bc6ddac399tree | snapshot
parent4cd799ab4702e52b418d0d81ac7741e264469acacommit | diff
isl_basic_set_project_out: handle rational sets

For rational sets, projection boils down to (Fourier-Motzkin)
elimination, so just call isl_basic_set_remove.
isl_map.c diff | blob | history
Domain: System / Uncategorized;