| commit | 73d4b8132e81807775888316946d32da293350fe | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Sun, 21 Apr 2013 20:59:57 +0000 (21 22:59 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 28 May 2013 16:15:04 +0000 (28 18:15 +0200) | ||
| tree | 1b85c3256888b9a747b1ae87d52826e7b26fd7b1 | treesnapshot (tar.gz zip) |
| parent | 7f93fe6952160f786a6d9c03d9d6a7838078f5e0 | commitdiff |
add isl_val abstraction
An isl_val can represent integer and rational values as well as some
special values. isl_vals are meant to replace isl_ints in the external
interface as well as some abuses of isl_qpolynomials.
The advantage of isl_vals is that they behave like other isl objects and
that they do not expose how integer values are represented internally.
This means that the user will not have to take into account that GMP
is being used and that GMP can be replaced by another library without
affecting the user.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
An isl_val can represent integer and rational values as well as some
special values. isl_vals are meant to replace isl_ints in the external
interface as well as some abuses of isl_qpolynomials.
The advantage of isl_vals is that they behave like other isl objects and
that they do not expose how integer values are represented internally.
This means that the user will not have to take into account that GMP
is being used and that GMP can be replaced by another library without
affecting the user.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| Makefile.am | diffblobblamehistory | |
| doc/user.pod | diffblobblamehistory | |
| include/isl/val.h | [new file with mode: 0644] | blob |
| isl_input.c | diffblobblamehistory | |
| isl_test.c | diffblobblamehistory | |
| isl_val.c | [new file with mode: 0644] | blob |
| isl_val_private.h | [new file with mode: 0644] | blob |
| print.c | diffblobblamehistory |