10 #ifndef TEUCHOS_CTIMEMONITOR_H
11 #define TEUCHOS_CTIMEMONITOR_H
void Teuchos_stopTimer(int timerID)
Stop a timer that was started with Teuchos_startTimer().
int Teuchos_startTimer(char timerName[], int timerID)
Start a timer with a given name and ID.