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 {
  TIME_DEFAULT, TIME_H, TIME_M, TIME_S,
  TIME_MS
}

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.


Generated on Sun Jul 29 19:45:51 2007 for Vaucanson by  doxygen 1.5.2