smt2_format.h File Reference

#include <iosfwd>

Include dependency graph for smt2_format.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	smt2_format_containert< T >

Functions
template<typename T >
static smt2_format_containert< T >	smt2_format (const T &_o)
template<typename T >
static std::ostream &	operator<< (std::ostream &out, const smt2_format_containert< T > &c)
std::ostream &	smt2_format_rec (std::ostream &, const exprt &)
std::ostream &	smt2_format_rec (std::ostream &, const typet &)

Function Documentation

operator<<()

template<typename T >

static std::ostream& operator<< ( std::ostream &  out, const smt2_format_containert< T > &  c  )

inlinestatic

Definition at line 34 of file smt2_format.h.

smt2_format()

template<typename T >

static smt2_format_containert<T> smt2_format ( const T &  _o )

inlinestatic

Definition at line 28 of file smt2_format.h.

smt2_format_rec() [1/2]

std::ostream& smt2_format_rec	(	std::ostream &	out,
		const exprt &	expr
	)

Definition at line 45 of file smt2_format.cpp.

smt2_format_rec() [2/2]

std::ostream& smt2_format_rec	(	std::ostream &	out,
		const typet &	type
	)

Definition at line 15 of file smt2_format.cpp.