timer_internal_graph.hh File Reference

This file contains classes used by Timer in timer.hh to build and export a graph of the task timing results. More...

Include dependency graph for timer_internal_graph.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  TimeStats
struct  GraphCall
struct  GraphTask
struct  GraphComponent
class  VertexWriter
class  EdgeWriter
class  GraphWriter

Defines

#define NAMESPACE_VCSN_BEGIN
#define NAMESPACE_VCSN_END
#define precondition(C)   assert(C)

Typedefs

typedef boost::adjacency_list<
boost::vecS, boost::vecS,
boost::bidirectionalS, GraphTask,
GraphCall > 
output_graph
typedef std::pair< output_graph::vertex_iterator,
output_graph::vertex_iterator > 
vertex_range
typedef std::pair< output_graph::edge_iterator,
output_graph::edge_iterator > 
edge_range
typedef std::pair< output_graph::in_edge_iterator,
output_graph::in_edge_iterator > 
in_edge_range
typedef std::pair< output_graph::out_edge_iterator,
output_graph::out_edge_iterator > 
out_edge_range
typedef std::pair< output_graph::edge_iterator,
output_graph::edge_iterator > 
edge_range
typedef std::vector< int > component_id_vector
typedef std::vector< GraphComponent > component_vector

Enumerations

enum  verbose_degree { VERBOSE_NONE, VERBOSE_MINIMAL, VERBOSE_NORMAL, VERBOSE_MAXIMAL }
 Enumerate the different verbose degrees for dot format graph export. More...


Detailed Description

This file contains classes used by Timer in timer.hh to build and export a graph of the task timing results.

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_graph.hh.


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