ScoreAndLabel     270 courgette/adjustment_method_2.cc       queue_.erase(ScoreAndLabel(old_score, p->first));
ScoreAndLabel     275 courgette/adjustment_method_2.cc         queue_.insert(ScoreAndLabel(new_score, model_info));
ScoreAndLabel     280 courgette/adjustment_method_2.cc       queue_.insert(ScoreAndLabel(new_score, model_info));
ScoreAndLabel     338 courgette/adjustment_method_2.cc     bool operator()(const ScoreAndLabel& a, const ScoreAndLabel& b) const {
ScoreAndLabel     750 courgette/adjustment_method_2.cc   const ScoreAndLabel& first() const { return *queue_.begin(); }
ScoreAndLabel     773 courgette/adjustment_method_2.cc       queue_.erase(ScoreAndLabel(old_score, candidates->program_info()));
ScoreAndLabel     777 courgette/adjustment_method_2.cc         queue_.insert(ScoreAndLabel(new_score, candidates->program_info()));
ScoreAndLabel     785 courgette/adjustment_method_2.cc     bool operator()(const ScoreAndLabel& a, const ScoreAndLabel& b) const {
ScoreAndLabel    1173 courgette/adjustment_method_2.cc     const VariableQueue::ScoreAndLabel best = variable_queue_.first();