isl_scheduler.c: non_neg_lexmin: explicitly use isl_tab_lexmin
commit811542115606512f8cfc551c92ccaa48a4651a5f
authorSven Verdoolaege <skimo@kotnet.org>
Tue, 12 Apr 2016 15:20:31 +0000 (12 17:20 +0200)
committerSven Verdoolaege <skimo@kotnet.org>
Mon, 18 Apr 2016 10:56:48 +0000 (18 12:56 +0200)
tree0dd772814d89b4ff5c2c6b4dee5785c8e712e803
parenta92337e59979434986ae3352c1a9821ce449a349
isl_scheduler.c: non_neg_lexmin: explicitly use isl_tab_lexmin

This will make it easier to add constraints to the tableau
in order to cut out undesirable solutions.

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