reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1575 if (!tab) 1577 snap = isl_tab_snap(tab); 1578 r1 = isl_tab_add_row(tab, eq); 1581 tab->con[r1].is_nonneg = 1; 1582 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r1]) < 0) 1582 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r1]) < 0) 1585 row = tab->con[r1].index; 1586 if (is_constant(tab, row)) { 1587 if (!isl_int_is_zero(tab->mat->row[row][1]) || 1588 (tab->M && !isl_int_is_zero(tab->mat->row[row][2]))) { 1588 (tab->M && !isl_int_is_zero(tab->mat->row[row][2]))) { 1589 if (isl_tab_mark_empty(tab) < 0) 1593 if (isl_tab_rollback(tab, snap) < 0) 1598 if (restore_lexmin(tab) < 0) 1600 if (tab->empty) 1603 isl_seq_neg(eq, eq, 1 + tab->n_var); 1605 r2 = isl_tab_add_row(tab, eq); 1608 tab->con[r2].is_nonneg = 1; 1609 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r2]) < 0) 1609 if (isl_tab_push_var(tab, isl_tab_undo_nonneg, &tab->con[r2]) < 0) 1612 if (restore_lexmin(tab) < 0) 1614 if (tab->empty) 1617 if (!tab->con[r1].is_row) { 1618 if (isl_tab_kill_col(tab, tab->con[r1].index) < 0) 1618 if (isl_tab_kill_col(tab, tab->con[r1].index) < 0) 1620 } else if (!tab->con[r2].is_row) { 1621 if (isl_tab_kill_col(tab, tab->con[r2].index) < 0) 1621 if (isl_tab_kill_col(tab, tab->con[r2].index) < 0) 1625 if (tab->bmap) { 1626 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); 1626 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); 1627 if (isl_tab_push(tab, isl_tab_undo_bmap_ineq) < 0) 1629 isl_seq_neg(eq, eq, 1 + tab->n_var); 1630 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); 1630 tab->bmap = isl_basic_map_add_ineq(tab->bmap, eq); 1631 isl_seq_neg(eq, eq, 1 + tab->n_var); 1632 if (isl_tab_push(tab, isl_tab_undo_bmap_ineq) < 0) 1634 if (!tab->bmap)