C++ (Cpp) pb2bv_rewriter::collect_statisticsの例

コード例 #1

ファイル: pb2bv_solver.cpp プロジェクト: veleek/z3

 virtual void collect_statistics(statistics & st) const { 
     m_rewriter.collect_statistics(st);
     m_solver->collect_statistics(st); 
 }

コード例 #2

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

 void collect_statistics(statistics & st) const override { 
     m_rewriter.collect_statistics(st);
     m_solver->collect_statistics(st); 
 }