Searched refs:m_num_cs (Results 1 – 2 of 2) sorted by relevance
79 unsigned m_num_cs; member353 st.update("maxres-correction-sets", m_stats.m_num_cs); in collect_statistics()465 ++m_stats.m_num_cs; in process_sat()
80 unsigned m_num_cs; member371 st.update("maxres-correction-sets", m_stats.m_num_cs); in collect_statistics()483 ++m_stats.m_num_cs; in process_sat()