C++ (Cpp) statistics::copyの例

コード例 #1

ファイル: smt_solver_exp.cpp プロジェクト: sukwon0709/byterun

 // -----------------------
 //
 // Statistics
 //
 // -----------------------
 void solver_exp::collect_statistics(statistics & st) const {
     solver_exp * _this = const_cast<solver_exp*>(this);
     if (m_sat) {
         m_sat->collect_statistics(_this->m_stats);
         m_sat->reset_statistics();
     }
     m_arith.collect_statistics(_this->m_stats);
     _this->m_arith.reset_statistics();
     st.copy(m_stats);
 }

コード例 #2

ファイル: check_sat_result.cpp プロジェクト: NikolajBjorner/z3

void simple_check_sat_result::collect_statistics(statistics & st) const { 
    st.copy(m_stats); 
}