Searched refs:recordRN (Results 1 – 4 of 4) sorted by relevance
68 void recordRN() { ++ rNReductions; } in recordRN() function
69 void recordRN() { ++ rNReductions; } in recordRN() function
178 getSolver().recordRN(); in reduce()
390 void recordRN() { s.recordRN(); } in recordRN() function