smt2_format.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
#ifndef CPROVER_SOLVERS_SMT2_SMT2_FORMAT_H
#define CPROVER_SOLVERS_SMT2_SMT2_FORMAT_H
 
#include <iosfwd>
 
class exprt;
class typet;
 
template <typename T>
struct smt2_format_containert
{
  explicit smt2_format_containert(const T &_o) : o(_o)
  {
  }
  explicit smt2_format_containert(const T &_o) : o(_o) {…}
 
  const T &o;
};
struct smt2_format_containert {…};
 
template <typename T>
static inline smt2_format_containert<T> smt2_format(const T &_o)
{
  return smt2_format_containert<T>(_o);
}
static inline smt2_format_containert<T> smt2_format(const T &_o) {…}
 
template <typename T>
static inline std::ostream &
operator<<(std::ostream &out, const smt2_format_containert<T> &c)
{
  return smt2_format_rec(out, c.o);
}
static inline std::ostream & {…}
 
std::ostream &smt2_format_rec(std::ostream &, const exprt &);
std::ostream &smt2_format_rec(std::ostream &, const typet &);
 
#endif // CPROVER_SOLVERS_SMT2_SMT2_FORMAT_H