reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1132 unsigned n_eq = info[i].bmap->n_eq; 1135 if (isl_tab_is_equality(info[i].tab, n_eq + relax[l])) 1138 snap = isl_tab_snap(info[i].tab); 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])) 1145 if (isl_tab_rollback(info[i].tab, snap) < 0) 1149 snap2 = isl_tab_snap(info[i].tab); 1151 if (isl_tab_rollback(info[i].tab, snap2) < 0) 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) 1157 super = contains(&info[j], info[i].tab); 1162 if (isl_tab_rollback(info[i].tab, snap) < 0) 1167 if (isl_tab_rollback(info[i].tab, snap2) < 0) 1169 return extend(i, j, n, relax, info);