Searched refs:expensiveRematCounts (Results 1 – 2 of 2) sorted by relevance
44 ExpensiveRematCounts += Other.expensiveRematCounts(); in operator +=()54 expensiveRematCounts() == Other.expensiveRematCounts(); in operator ==()68 Ret += ExpensiveRematWeight * expensiveRematCounts(); in getScore()
45 double expensiveRematCounts() const { return ExpensiveRematCounts; } in expensiveRematCounts() function