reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1135 if (isl_tab_is_equality(info[i].tab, n_eq + relax[l])) 1140 if (isl_tab_relax(info[i].tab, n_eq + relax[l]) < 0) 1143 if (!isl_tab_is_redundant(info[i].tab, n_eq + relax[l])) 1153 if (isl_tab_select_facet(info[i].tab, n_eq + relax[l]) < 0) 1155 if (tighten_on_relaxed_facet(&info[i], n, relax, l) < 0) 1169 return extend(i, j, n, relax, info);