Searched refs:isl_tab_add_valid_eq (Results 1 – 5 of 5) sorted by relevance
193 if (isl_tab_add_valid_eq(tab, B->row[1 + level]) < 0) in isl_basic_set_scan()
212 int isl_tab_add_valid_eq(struct isl_tab *tab, isl_int *eq) WARN_UNUSED;
276 if (isl_tab_add_valid_eq(lp->tab, lp->row->el) < 0) in add_lp_row()
292 if (isl_tab_add_valid_eq(tab, tab->basis->row[1 + level]) < 0) in greedy_search()494 if (isl_tab_add_valid_eq(tab, tab->basis->row[1 + level]) < 0) in isl_tab_sample()
2055 int isl_tab_add_valid_eq(struct isl_tab *tab, isl_int *eq) in isl_tab_add_valid_eq() function