reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
602 unsigned n_eq = info[i].bmap->n_eq; 604 snap = isl_tab_snap(info[i].tab); 605 if (isl_tab_mark_rational(info[i].tab) < 0) 607 snap2 = isl_tab_snap(info[i].tab); 609 for (k = 0; k < info[i].bmap->n_ineq; ++k) { 610 if (info[i].ineq[k] != STATUS_CUT) 612 if (isl_tab_select_facet(info[i].tab, n_eq + k) < 0) 614 for (l = 0; l < info[j].bmap->n_ineq; ++l) { 616 if (info[j].ineq[l] != STATUS_CUT) 618 stat = status_in(info[j].bmap->ineq[l], info[i].tab); 618 stat = status_in(info[j].bmap->ineq[l], info[i].tab); 624 if (isl_tab_rollback(info[i].tab, snap2) < 0) 626 if (l < info[j].bmap->n_ineq) 630 if (k < info[i].bmap->n_ineq) { 631 if (isl_tab_rollback(info[i].tab, snap) < 0) 635 return fuse(i, j, info, NULL, 0, 0);