OrderScoreAndLabelByScoreDecreasing  344 courgette/adjustment_method_2.cc   typedef std::set<ScoreAndLabel, OrderScoreAndLabelByScoreDecreasing> Queue;
OrderScoreAndLabelByScoreDecreasing  791 courgette/adjustment_method_2.cc   typedef std::set<ScoreAndLabel, OrderScoreAndLabelByScoreDecreasing> Queue;