timer_internal_gathering.hh File Reference

This file contains classes used by Timer in timer.hh to gather data during timer execution. More...

Include dependency graph for timer_internal_gathering.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	misc
namespace	misc::timer
Classes
struct	TimeVal
class	TimeStamp
class	Task
class	Call
class	StackedCall
Defines
#define	NAMESPACE_VCSN_BEGIN
#define	NAMESPACE_VCSN_END
#define	precondition(C)   assert(C)
Typedefs
typedef std::map< const std::string, int >	task_names_map
typedef std::vector< Task >	task_vector
typedef std::map< int, Call >	call_map
typedef std::stack< StackedCall >	call_stack
Enumerations
enum	time_unit
Functions
std::ostream &	print_time (std::ostream &o, timer::TimeVal &time, time_unit u=TIME_DEFAULT)

---

Detailed Description

This file contains classes used by Timer in timer.hh to gather data during timer execution.

Classes declared here are not meant to be used on their own. See timer.hh for information on how to use the Timer class to time nested tasks.

Definition in file timer_internal_gathering.hh.

---