Searched refs:gbr_solved_lps (Results 1 – 2 of 2) sorted by relevance
134 ctx->stats->gbr_solved_lps++; in isl_tab_compute_reduced_basis()152 ctx->stats->gbr_solved_lps++; in isl_tab_compute_reduced_basis()167 ctx->stats->gbr_solved_lps++; in isl_tab_compute_reduced_basis()197 ctx->stats->gbr_solved_lps++; in isl_tab_compute_reduced_basis()
72 long gbr_solved_lps; member