Searched refs:trivial_worst_bound (Results 1 – 1 of 1) sorted by relevance
1882 const double trivial_worst_bound = in best_objective_bound() local1887 return trivial_worst_bound; in best_objective_bound()1890 return trivial_worst_bound; in best_objective_bound()