Searched refs:ExpensiveRematCounts (Results 1 – 2 of 2) sorted by relevance
34 double ExpensiveRematCounts = 0.0; variable44 double expensiveRematCounts() const { return ExpensiveRematCounts; } in expensiveRematCounts()51 void onExpensiveRemat(double Freq) { ExpensiveRematCounts += Freq; } in onExpensiveRemat()
46 ExpensiveRematCounts += Other.expensiveRematCounts(); in operator +=()