OrderLabelInfo    334 courgette/adjustment_method_2.cc   typedef std::map<LabelInfo*, int, OrderLabelInfo> LabelToScore;
OrderLabelInfo    337 courgette/adjustment_method_2.cc     OrderLabelInfo tie_breaker;
OrderLabelInfo    788 courgette/adjustment_method_2.cc       return OrderLabelInfo()(a.second, b.second);