metaSMT 2
|
#include <SMT_File_Writer.hpp>
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 |
Definition at line 167 of file SMT_File_Writer.hpp.
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.
void metaSMT::SMT_Declaration_Printer::operator() | ( | predtags::var_tag const & | tag | ) | const [inline] |
Definition at line 175 of file SMT_File_Writer.hpp.
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.