reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1383 if (min_is_manifestly_unbounded(tab, var)) 1385 if (!var->is_row) { 1386 col = var->index; 1391 if (var->is_redundant) 1393 if (isl_int_is_neg(tab->mat->row[var->index][1])) { 1394 if (var->is_nonneg) { 1400 if (restore_row(tab, var) < -1) 1406 if (var->is_redundant) 1408 while (!isl_int_is_neg(tab->mat->row[var->index][1])) { 1409 find_pivot(tab, var, var, -1, &row, &col); 1409 find_pivot(tab, var, var, -1, &row, &col); 1410 if (row == var->index) 1413 return isl_int_sgn(tab->mat->row[var->index][1]); 1417 if (var->is_redundant) 1420 if (pivot_var && var->is_nonneg) { 1426 if (restore_row(tab, var) < -1)