metaSMT 2
Public Member Functions
metaSMT::SMT_Declaration_Printer Struct Reference

#include <SMT_File_Writer.hpp>

List of all members.

Public Member Functions

 SMT_Declaration_Printer (std::ostream &outfile, SMT_Graph const &g, SMT_Expression const &v)
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 >
void operator() (T const &t) const

Detailed Description

Definition at line 167 of file SMT_File_Writer.hpp.


Constructor & Destructor Documentation

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

Definition at line 168 of file SMT_File_Writer.hpp.


Member Function Documentation

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

Definition at line 175 of file SMT_File_Writer.hpp.

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

Definition at line 190 of file SMT_File_Writer.hpp.

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

Definition at line 184 of file SMT_File_Writer.hpp.

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

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