smtlib_convt::file_emitter Struct Reference

#include <smtlib_conv.h>

Public Member Functions
	file_emitter (const std::string &path)
	file_emitter (const file_emitter &)=delete
	~file_emitter () noexcept
file_emitter &	operator= (const file_emitter &)=delete
template<typename... Ts>
void	emit (const char *fmt, Ts &&...) const
void	flush () const
	operator bool () const noexcept
template<typename... Ts>
void	emit (const char *fmt, Ts &&...ts) const

Public Attributes
FILE *	out_stream

Constructor & Destructor Documentation

file_emitter() [1/2]

smtlib_convt::file_emitter::file_emitter ( const std::string & path )

explicit

file_emitter() [2/2]

smtlib_convt::file_emitter::file_emitter ( const file_emitter & )

delete

~file_emitter()

smtlib_convt::file_emitter::~file_emitter ( )

noexcept

Member Function Documentation

emit() [1/2]

template<typename... Ts>

void smtlib_convt::file_emitter::emit	(	const char *	fmt,
		Ts &&	... ) const

emit() [2/2]

template<typename... Ts>

void smtlib_convt::file_emitter::emit	(	const char *	fmt,
		Ts &&...	ts ) const

flush()

void smtlib_convt::file_emitter::flush

(

)

const

operator bool()

smtlib_convt::file_emitter::operator bool ( ) const

explicitnoexcept

operator=()

file_emitter & smtlib_convt::file_emitter::operator= ( const file_emitter & )

delete

Member Data Documentation

out_stream

FILE* smtlib_convt::file_emitter::out_stream

---

The documentation for this struct was generated from the following files:

• src/solvers/smtlib/smtlib_conv.h
• src/solvers/smtlib/smtlib_conv.cpp