32 ostream& Statistics::printAll(ostream& os)
const {
35 <<
"********************************" <<
endl
36 <<
"********* Statistics ***********" <<
endl
37 <<
"********************************" <<
endl;
39 StatFlagMap::const_iterator i = d_flags.begin(), iend = d_flags.end();
41 os << endl <<
"************ Flags *************" << endl <<
endl;
43 os << (*i).first <<
" = " << (*i).second << endl;
45 StatCounterMap::const_iterator
46 j = d_counters.begin(), jend = d_counters.end();
48 os << endl <<
"*********** Counters ***********" << endl <<
endl;
50 os << (*j).first <<
" = " << (*j).second << endl;
53 <<
"********************************" << endl
54 <<
"****** End of Statistics *******" << endl
55 <<
"********************************" <<
endl;
Description: Counters and flags for collecting run-time statistics.
CVC3::ExprStream & endl(CVC3::ExprStream &os)
Print the end-of-line.