isl_{in,}equality_from_aff: skip construction of isl_basic_set
authorSven Verdoolaege <skimo@kotnet.org>
Fri, 14 Jun 2013 09:58:06 +0000 (11:58 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Fri, 14 Jun 2013 09:58:06 +0000 (11:58 +0200)
commitd3fe8d9228d72bbfaa1897c74a6fa1bfd87b7e60
tree33e630857e85c268dd233bee7dc0bcf5e85f2146
parent32aabe2c05cbaa2df5907aee48d1874936266a29
isl_{in,}equality_from_aff: skip construction of isl_basic_set

Back when isl_equality_from_aff was introduced in aa6c066
(add isl_equality_from_aff, Thu May 12 15:55:15 2011 +0200),
an isl_constraint was still implemented on top of an isl_basic_map
and we had to construct this isl_basic_set.
Now that isl_constraint is implemented on top of an isl_local_space
and an isl_vec, the construction of this isl_basic_set is pure overhead.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
isl_constraint.c