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