isl_scheduler.c: non_neg_lexmin: extract out non_empty_solution
commit6b1d088618898ecceedd8065521701b1683cd39c
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)
tree91cbc3404901883ca95195c224dfc83a073e8377
parent811542115606512f8cfc551c92ccaa48a4651a5f
isl_scheduler.c: non_neg_lexmin: extract out non_empty_solution

This reduces the size of non_neg_lexmin.

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