Detailed Description

Definition at line 715 of file Graph.cc.

Public Member Functions
	graph_writer (Graph g, const std::vector< std::shared_ptr< ExecutionPath >> &paths)

void	writeVertex (std::ostream &out, const vertex_t &v) const

void	writeEdge (std::ostream &out, const edge_t &e) const

void	writeGraph (std::ostream &out) const

The documentation for this class was generated from the following file:

Public Member Functions