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