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); 
 }