diff options
| author | Sven Verdoolaege <skimo@purples.(none)> | 2009-09-13 19:13:13 +0200 |
|---|---|---|
| committer | Sven Verdoolaege <skimo@purples.(none)> | 2009-09-13 19:13:13 +0200 |
| commit | fa1cd4b1b93c95a2ee1ed4f17d56955220546b1b (patch) | |
| tree | d09ac9e42fc9cc520831699b4155a14fb1d5f024 /isl_ilp.c | |
| parent | 183e4b46785147e7875a56d45e244243cb180d3a (diff) | |
| download | isl-fa1cd4b1b93c95a2ee1ed4f17d56955220546b1b.tar.gz isl-fa1cd4b1b93c95a2ee1ed4f17d56955220546b1b.tar.bz2 isl-fa1cd4b1b93c95a2ee1ed4f17d56955220546b1b.zip | |
isl_basic_map_add_constraint: handle constraints obtained from basic maps
The bmap field of a constraint may contain a basic map that is bounded
by more than one constraint. The constraint can therefore not be
added by simply taking the intersection with this bmap.
Instead, first create a basic map that exactly corresponds to the constraint
and then take the intersection with that basic map.
Diffstat (limited to 'isl_ilp.c')
0 files changed, 0 insertions, 0 deletions