| commit | 11cfda655e6d981e87c00768644f9720738c9540 | |
| author | Sven Verdoolaege <skimo@kotnet.org> | |
| Tue, 21 Jun 2016 10:57:08 +0000 (21 12:57 +0200) | ||
| committer | Sven Verdoolaege <skimo@kotnet.org> | |
| Mon, 19 Dec 2016 09:05:20 +0000 (19 10:05 +0100) | ||
| tree | 5eea2dbbae9a11c92ab95ead63f5e2dc38459438 | treesnapshot (tar.gz zip) |
| parent | 8ffc8160df645c4f3b31151c3fa6fbde37450a88 | commitdiff |
add isl_tab_detect_constants
This function checks whether any of the variables in the tableau
can only attain a single integer value, adding appropriate equality
constraints.
This function will be used in the next commit to check
whether some variables have a fixed value in a potential extension.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
This function checks whether any of the variables in the tableau
can only attain a single integer value, adding appropriate equality
constraints.
This function will be used in the next commit to check
whether some variables have a fixed value in a potential extension.
Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>
| isl_tab.c | diffblobblamehistory | |
| isl_tab.h | diffblobblamehistory |