Searched refs:CheapRematCounts (Results 1 – 2 of 2) sorted by relevance
33 double CheapRematCounts = 0.0; variable46 double cheapRematCounts() const { return CheapRematCounts; } in cheapRematCounts()53 void onCheapRemat(double Freq) { CheapRematCounts += Freq; } in onCheapRemat()
43 CheapRematCounts += Other.cheapRematCounts(); in operator +=()