metaSMT git
Public Types | Public Member Functions

metaSMT::VertexDecorator Struct Reference

#include <dot_SMT_Graph.hpp>

List of all members.

Public Types

typedef void result_type
typedef boost::graph_traits
< SMT_Graph >
::vertex_descriptor 
VertexT

Public Member Functions

 VertexDecorator (const SMT_Graph &g, VertexT const &v, std::ostream &out)
void operator() (logic::QF_BV::tag::bvbin_tag const &)
void operator() (logic::QF_BV::tag::bvhex_tag const &)
void operator() (logic::QF_BV::tag::bvuint_tag const &)
void operator() (logic::QF_BV::tag::bvsint_tag const &)
template<typename Tag >
void operator() (Tag const &t)

Detailed Description

Definition at line 11 of file dot_SMT_Graph.hpp.


Member Typedef Documentation

Definition at line 13 of file dot_SMT_Graph.hpp.

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

Definition at line 14 of file dot_SMT_Graph.hpp.


Constructor & Destructor Documentation

metaSMT::VertexDecorator::VertexDecorator ( const SMT_Graph g,
VertexT const &  v,
std::ostream &  out 
) [inline]

Definition at line 16 of file dot_SMT_Graph.hpp.


Member Function Documentation

void metaSMT::VertexDecorator::operator() ( logic::QF_BV::tag::bvbin_tag const &  ) [inline]

Definition at line 19 of file dot_SMT_Graph.hpp.

template<typename Tag >
void metaSMT::VertexDecorator::operator() ( Tag const &  t) [inline]

Definition at line 48 of file dot_SMT_Graph.hpp.

void metaSMT::VertexDecorator::operator() ( logic::QF_BV::tag::bvsint_tag const &  ) [inline]

Definition at line 40 of file dot_SMT_Graph.hpp.

void metaSMT::VertexDecorator::operator() ( logic::QF_BV::tag::bvuint_tag const &  ) [inline]

Definition at line 33 of file dot_SMT_Graph.hpp.

void metaSMT::VertexDecorator::operator() ( logic::QF_BV::tag::bvhex_tag const &  ) [inline]

Definition at line 26 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