Lines Matching defs:sol
17 isl_int *opt_denom, PipQuast *sol)
26 &sol->list->vector->the_vector[0], 1);
28 &sol->list->vector->the_deno[0], 1);
30 mpz_fdiv_q(*opt, sol->list->vector->the_vector[0],
31 sol->list->vector->the_deno[0]);
33 mpz_cdiv_q(*opt, sol->list->vector->the_vector[0],
34 sol->list->vector->the_deno[0]);
42 for (i = 0, list = sol->list->next; list; ++i, list = list->next) {
47 for (i = 0, list = sol->list->next; list; ++i, list = list->next) {
65 PipQuast *sol;
82 sol = pip_solve(domain, NULL, -1, options);
84 if (!sol)
93 else if (!sol->list)
95 else if (entier_zero_p(sol->list->vector->the_deno[0]))
98 copy_solution(*vec, maximize, opt, opt_denom, sol);
100 pip_quast_free(sol);