/* -*- mode: C; mode: folding; fill-column: 70; -*- */
/* Copyright 2010,  Georgia Institute of Technology, USA. */
/* See COPYING for license. */
#if !defined(TIMER_HEADER_)
#define TIMER_HEADER_

/** Start timing. */
void tic (void);

/** Return seconds since last tic. */
double toc (void);

/** Macro to time a block. */
#define TIME(timevar, what) do { tic (); what; timevar = toc(); } while (0)

#endif /* TIMER_HEADER_ */