diff options
author | Sven Verdoolaege <skimo@kotnet.org> | 2009-11-01 14:36:32 +0100 |
---|---|---|
committer | Sven Verdoolaege <skimo@kotnet.org> | 2009-11-01 15:28:08 +0100 |
commit | 91e7b730ab626b5dbacc5351d241598adc16ae05 (patch) | |
tree | 50cb9da14e1f57cb2532d14315eb991ab006a717 /isl_tab_pip.c | |
parent | dd6dd5b5a1ff05ef2f665ba52b181bbce8e5ae9f (diff) | |
download | isl-91e7b730ab626b5dbacc5351d241598adc16ae05.tar.gz isl-91e7b730ab626b5dbacc5351d241598adc16ae05.tar.bz2 isl-91e7b730ab626b5dbacc5351d241598adc16ae05.zip |
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.
Diffstat (limited to 'isl_tab_pip.c')
-rw-r--r-- | isl_tab_pip.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/isl_tab_pip.c b/isl_tab_pip.c index d9bb73ba..64137dd8 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)) |