| commit | da26d3f8644f963df7c950d46180257a0a2afd46 | |
| author | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Mon, 21 Aug 2017 15:27:16 +0000 (21 17:27 +0200) | ||
| committer | Sven Verdoolaege <sven.verdoolaege@gmail.com> | |
| Wed, 27 Sep 2017 07:23:34 +0000 (27 09:23 +0200) | ||
| tree | 327588aa17eeabbccded378a4b57bc16b1411228 | treesnapshot (tar.gz zip) |
| parent | 2905671d35e95f435ae1e2aa6cc03d8ccf7eeefd | commitdiff |
isl_tab_basic_set_non_trivial_lexmin: skip known impossible cases
While stepping through all the cases that ensure
non-triviality of the solution, equality constraints
are added after each pair of cases and they need to be satisfied
by all subsequent cases.
If these equality constraints render the problem infeasible,
then there is no point in looking at any further cases at this level.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
While stepping through all the cases that ensure
non-triviality of the solution, equality constraints
are added after each pair of cases and they need to be satisfied
by all subsequent cases.
If these equality constraints render the problem infeasible,
then there is no point in looking at any further cases at this level.
Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
| isl_tab_pip.c | diffblobblamehistory |