| gatherTimings(const Array< double > &timings, Array< double > &minTime, Array< double > &avgTime, Array< double > &maxTime) | Teuchos::TimeMonitor | [private, static] |
| getNewTimer(const string &name) | Teuchos::TimeMonitor | [static] |
| summarize(ostream &out=std::cout) | Teuchos::TimeMonitor | [static] |
| TimeMonitor(Time &timer, bool reset=false) | Teuchos::TimeMonitor | [inline] |
| ~TimeMonitor() | Teuchos::TimeMonitor | [inline] |
1.3.9.1