reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
5040 trivial = region_is_trivial(data->tab, data->region[i].pos, 5204 data->tab = tab_for_lexmin(bset, NULL, 0, 0); 5205 if (!data->tab) 5208 data->v = isl_vec_alloc(ctx, 1 + data->tab->n_var); 5271 if (data->tab->empty) 5303 data->tab = cut_to_integer_lexmin(data->tab, CUT_ONE); 5303 data->tab = cut_to_integer_lexmin(data->tab, CUT_ONE); 5304 if (!data->tab) 5306 if (data->tab->empty) 5314 data->sol = isl_tab_get_sample_value(data->tab); 5326 if (isl_tab_extend_cons(data->tab, 5330 if (isl_tab_rollback(data->tab, local->snap) < 0) 5352 local->n_zero = force_better_solution(data->tab, 5390 fix_zero(data->tab, region, base / 2 - 1, data) < 0) 5393 local->snap = isl_tab_snap(data->tab); 5394 if (isl_tab_push_basis(data->tab) < 0) 5397 data->tab = pos_neg(data->tab, region, side, data); 5397 data->tab = pos_neg(data->tab, region, side, data); 5398 if (!data->tab) 5409 isl_tab_free(data->tab); 5461 data.tab->conflict = conflict; 5462 data.tab->conflict_user = user;