Searched refs:inf_f_bound (Results 1 - 1 of 1) sorted by relevance

/barrelfish-master/usr/eclipseclp/icparc_solvers/
H A Dic.c371 double inf_f_bound, inf_e_bound; /* ? */ member in struct:prop_info
2139 prop->inf_f_bound = res.u;
2142 fprintf(stderr, " inf_f_idx = %d, inf_f_bound = %f.\n",
2143 prop->inf_f_idx, prop->inf_f_bound);
2632 if (inf_f_bound <= f) {

Completed in 89 milliseconds