reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
877 tab = isl_tab_from_basic_set(bset, 1); 878 if (!tab) 881 if (isl_tab_freeze_constraint(tab, i) < 0) 885 snap = isl_tab_snap(tab); 887 sample = isl_tab_get_sample_value(tab); 895 selection[i] = can_intersect(tab, vertices->v[i].dom); 900 if (isl_tab_detect_redundant(tab) < 0) 903 if (add_chamber(&list, vertices, tab, selection) < 0) 907 if (init_todo(&todo, tab) < 0) 913 if (isl_tab_rollback(tab, snap) < 0) 916 if (isl_tab_add_ineq(tab, todo->constraint->el) < 0) 918 if (isl_tab_freeze_constraint(tab, tab->n_con - 1) < 0) 918 if (isl_tab_freeze_constraint(tab, tab->n_con - 1) < 0) 928 selection[i] = can_intersect(tab, vertices->v[i].dom); 933 if (isl_tab_detect_redundant(tab) < 0) 936 if (add_chamber(&list, vertices, tab, selection) < 0) 940 if (update_todo(todo, tab) < 0) 951 isl_tab_free(tab); 966 isl_tab_free(tab); 968 if (!tab)