metaSMT git
Public Member Functions

metaSMT::Vertex_Printer Struct Reference

#include <SMT_File_Writer.hpp>

List of all members.

Public Member Functions

 Vertex_Printer (std::ostream &outfile, SMT_Graph const &g, SMT_Expression const &v)
void operator() (bvtags::zero_extend_tag const &tag) const
void operator() (bvtags::bvbin_tag const &tag) const
void operator() (bvtags::bvhex_tag const &tag) const
void operator() (bvtags::bvsint_tag const &tag) const
void operator() (bvtags::bvuint_tag const &tag) const
void operator() (bvtags::extract_tag const &tag) const
void operator() (predtags::nequal_tag const &tag) const
void operator() (predtags::nand_tag const &tag) const
void operator() (predtags::nor_tag const &tag) const
void operator() (predtags::xnor_tag const &tag) const
void operator() (predtags::var_tag const &tag) const
void operator() (bvtags::var_tag const &tag) const
void operator() (arraytags::array_var_tag const &tag) const
template<typename T >
boost::enable_if< typename
mpl::has_key< SMT_NameMap, T >
::type >::type 
operator() (T const &t) const
template<typename T >
boost::disable_if< typename
mpl::has_key< SMT_NameMap, T >
::type >::type 
operator() (T const &t) const

Detailed Description

Definition at line 23 of file SMT_File_Writer.hpp.


Constructor & Destructor Documentation

metaSMT::Vertex_Printer::Vertex_Printer ( std::ostream &  outfile,
SMT_Graph const &  g,
SMT_Expression const &  v 
) [inline]

Definition at line 25 of file SMT_File_Writer.hpp.


Member Function Documentation

void metaSMT::Vertex_Printer::operator() ( bvtags::zero_extend_tag const &  tag) const [inline]

Definition at line 32 of file SMT_File_Writer.hpp.

template<typename T >
boost::disable_if< typename mpl::has_key< SMT_NameMap, T>::type >::type metaSMT::Vertex_Printer::operator() ( T const &  t) const [inline]

Definition at line 149 of file SMT_File_Writer.hpp.

template<typename T >
boost::enable_if< typename mpl::has_key< SMT_NameMap, T>::type >::type metaSMT::Vertex_Printer::operator() ( T const &  t) const [inline]

Definition at line 130 of file SMT_File_Writer.hpp.

void metaSMT::Vertex_Printer::operator() ( arraytags::array_var_tag const &  tag) const [inline]

Definition at line 122 of file SMT_File_Writer.hpp.

void metaSMT::Vertex_Printer::operator() ( bvtags::var_tag const &  tag) const [inline]

Definition at line 118 of file SMT_File_Writer.hpp.

void metaSMT::Vertex_Printer::operator() ( predtags::var_tag const &  tag) const [inline]

Definition at line 114 of file SMT_File_Writer.hpp.

void metaSMT::Vertex_Printer::operator() ( predtags::xnor_tag const &  tag) const [inline]

Definition at line 106 of file SMT_File_Writer.hpp.

void metaSMT::Vertex_Printer::operator() ( predtags::nor_tag const &  tag) const [inline]

Definition at line 98 of file SMT_File_Writer.hpp.

void metaSMT::Vertex_Printer::operator() ( predtags::nand_tag const &  tag) const [inline]

Definition at line 90 of file SMT_File_Writer.hpp.

void metaSMT::Vertex_Printer::operator() ( predtags::nequal_tag const &  tag) const [inline]

Definition at line 82 of file SMT_File_Writer.hpp.

void metaSMT::Vertex_Printer::operator() ( bvtags::extract_tag const &  tag) const [inline]

Definition at line 71 of file SMT_File_Writer.hpp.

void metaSMT::Vertex_Printer::operator() ( bvtags::bvuint_tag const &  tag) const [inline]

Definition at line 64 of file SMT_File_Writer.hpp.

void metaSMT::Vertex_Printer::operator() ( bvtags::bvsint_tag const &  tag) const [inline]

Definition at line 54 of file SMT_File_Writer.hpp.

void metaSMT::Vertex_Printer::operator() ( bvtags::bvhex_tag const &  tag) const [inline]

Definition at line 48 of file SMT_File_Writer.hpp.

void metaSMT::Vertex_Printer::operator() ( bvtags::bvbin_tag const &  tag) const [inline]

Definition at line 42 of file SMT_File_Writer.hpp.


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