Searched refs:CheapRematCounts (Results 1 – 2 of 2) sorted by relevance
32 double CheapRematCounts = 0.0; variable45 double cheapRematCounts() const { return CheapRematCounts; } in cheapRematCounts()52 void onCheapRemat(double Freq) { CheapRematCounts += Freq; } in onCheapRemat()
42 CheapRematCounts += Other.cheapRematCounts(); in operator +=()