reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
2374 r = context_ineq; 2381 row[i] = r++; 2393 r = row[i]; 2394 if (tab->con[n_eq + r].is_redundant) 2397 if (isl_inequality_negate(test, r) < 0) 2405 tab->con[n_eq + r].is_redundant = 1;