evalue_isl.c: avoid use of isl_vec internals
commit21fc9d27aee4115b54b22ba8fb42c82b1f7b3462
authorSven Verdoolaege <skimo@kotnet.org>
Sat, 6 Apr 2013 11:21:42 +0000 (6 13:21 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 8 Apr 2013 17:54:17 +0000 (8 19:54 +0200)
tree85cb82ef8ca419786d947c5dd43040f64b8e70b4
parent368802a3771a64d6d2d6576784ec975b82dd61ba
evalue_isl.c: avoid use of isl_vec internals

We may want to hide these internals from external users at some point.
Instead of an isl_vec, we now use a Vector from PolyLib.
This should not cause any extra dependence on PolyLib as the entire
file can be removed when we stop using evalue objects.

We still assume that a PolyLib Value and an isl_int are both represented
by gmp, but this assumption was already present in the original code.

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