From 91e7b730ab626b5dbacc5351d241598adc16ae05 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 1 Nov 2009 14:36:32 +0100 Subject: [PATCH] isl_tab_pip.c: ignore dead columns when checking integrality The dead columns are zero, which means that it does not matter that they may have a fractional coefficient. Moreover, dead columns can't be used to pivot, so it is actually wrong to take them into account. --- isl_tab_pip.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/isl_tab_pip.c b/isl_tab_pip.c index d9bb73b..64137dd 100644 --- a/isl_tab_pip.c +++ b/isl_tab_pip.c @@ -1380,7 +1380,7 @@ static int integer_variable(struct isl_tab *tab, int row) int i; unsigned off = 2 + tab->M; - for (i = 0; i < tab->n_col; ++i) { + for (i = tab->n_dead; i < tab->n_col; ++i) { if (tab->col_var[i] >= 0 && (tab->col_var[i] < tab->n_param || tab->col_var[i] >= tab->n_var - tab->n_div)) -- 2.7.4