Searched refs:row_var (Results 1 – 3 of 3) sorted by relevance
56 if (n_row && !tab->row_var) in isl_tab_alloc()125 int *row_var; in isl_tab_extend_cons() local131 row_var = isl_realloc_array(tab->mat->ctx, tab->row_var, in isl_tab_extend_cons()133 if (!row_var) in isl_tab_extend_cons()135 tab->row_var = row_var; in isl_tab_extend_cons()214 free(tab->row_var); in isl_tab_free()258 dup->row_var[i] = tab->row_var[i]; in isl_tab_dup()518 prod->row_var[pos] = tab1->row_var[i]; in isl_tab_product()682 tab->row_var[j] < tab->row_var[r])) in pivot_row()776 tab->row_var[row1] = tab->row_var[row2]; in swap_rows()[all …]
151 int *row_var; /* v >= 0 -> var v; v < 0 -> con ~v */ member
1258 return is_parameter_var(tab, tab->row_var[row]); in row_is_parameter_var()1392 if (tab->row_var[row] < 0 && in report_conflict()1393 report_conflicting_constraint(tab, ~tab->row_var[row]) < 0) in report_conflict()4260 if (tab->row_var[row] < tab->n_param) in find_solutions_main()4261 p = tab->row_var[row]; in find_solutions_main()4263 p = tab->row_var[row] in find_solutions_main()