isl_tab_basic_set_non_trivial_lexmin: extract out update_outer_levels
commitd51e146b40518013ec40afddbc1b5174cf36b0d3
authorSven Verdoolaege <sven.verdoolaege@gmail.com>
Tue, 22 Aug 2017 11:46:34 +0000 (22 13:46 +0200)
committerSven Verdoolaege <sven.verdoolaege@gmail.com>
Wed, 27 Sep 2017 07:23:34 +0000 (27 09:23 +0200)
tree7c22c0916116b6a272a23cf92098770994f1bc10
parentd8cd8070f36f16997348f1b9596f1c492815f46c
isl_tab_basic_set_non_trivial_lexmin: extract out update_outer_levels

This (slightly) reduces the size of isl_tab_basic_set_non_trivial_lexmin and
makes the code easier to follow.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>
isl_tab_pip.c