Ejemplos de pb2bv_rewriter::collect_statistics en C++ (Cpp)

Ejemplo n.º 1

Archivo: pb2bv_solver.cpp Proyecto: veleek/z3

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

Ejemplo n.º 2

Archivo: pb2bv_solver.cpp Proyecto: NikolajBjorner/z3

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