Searched refs:ExpensiveRematCounts (Results 1 – 2 of 2) sorted by relevance
35 double ExpensiveRematCounts = 0.0; variable45 double expensiveRematCounts() const { return ExpensiveRematCounts; } in expensiveRematCounts()52 void onExpensiveRemat(double Freq) { ExpensiveRematCounts += Freq; } in onExpensiveRemat()
44 ExpensiveRematCounts += Other.expensiveRematCounts(); in operator +=()