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.

---