metaSMT git
Public Types | Public Member Functions

metaSMT::DotDecorator Struct Reference

#include <dot_SMT_Graph.hpp>

List of all members.

Public Types

typedef boost::graph_traits
< SMT_Graph >
::vertex_descriptor 
VertexT
typedef boost::graph_traits
< SMT_Graph >::edge_descriptor 
EdgeT

Public Member Functions

 DotDecorator (const SMT_Graph &g)
void operator() (std::ostream &out, VertexT n)
void operator() (std::ostream &out, EdgeT e)
template<typename T2 >
void operator() (std::ostream &out, T2) const

Detailed Description

Definition at line 59 of file dot_SMT_Graph.hpp.


Member Typedef Documentation

typedef boost::graph_traits<SMT_Graph>::edge_descriptor metaSMT::DotDecorator::EdgeT

Definition at line 64 of file dot_SMT_Graph.hpp.

typedef boost::graph_traits<SMT_Graph>::vertex_descriptor metaSMT::DotDecorator::VertexT

Definition at line 63 of file dot_SMT_Graph.hpp.


Constructor & Destructor Documentation

metaSMT::DotDecorator::DotDecorator ( const SMT_Graph g) [inline]

Definition at line 60 of file dot_SMT_Graph.hpp.


Member Function Documentation

void metaSMT::DotDecorator::operator() ( std::ostream &  out,
VertexT  n 
) [inline]

Definition at line 66 of file dot_SMT_Graph.hpp.

template<typename T2 >
void metaSMT::DotDecorator::operator() ( std::ostream &  out,
T2   
) const [inline]

Definition at line 79 of file dot_SMT_Graph.hpp.

void metaSMT::DotDecorator::operator() ( std::ostream &  out,
EdgeT  e 
) [inline]

Definition at line 71 of file dot_SMT_Graph.hpp.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines