smtlib_convt::process_emitter Struct Reference

#include <smtlib_conv.h>

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

Public Attributes
FILE *	out_stream
FILE *	in_stream
void *	org_sigpipe_handler
long	solver_proc_pid
std::string	solver_name
std::string	solver_version

Constructor & Destructor Documentation

process_emitter() [1/2]

smtlib_convt::process_emitter::process_emitter ( const std::string & cmd )

explicit

process_emitter() [2/2]

smtlib_convt::process_emitter::process_emitter ( const process_emitter & )

delete

~process_emitter()

smtlib_convt::process_emitter::~process_emitter ( )

noexcept

Member Function Documentation

emit() [1/2]

template<typename... Ts>

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

emit() [2/2]

template<typename... Ts>

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

flush()

void smtlib_convt::process_emitter::flush

(

)

const

operator bool()

smtlib_convt::process_emitter::operator bool ( ) const

explicitnoexcept

operator=()

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

delete

terminate()

void smtlib_convt::process_emitter::terminate ( )

noexcept

Member Data Documentation

in_stream

FILE* smtlib_convt::process_emitter::in_stream

org_sigpipe_handler

void* smtlib_convt::process_emitter::org_sigpipe_handler

out_stream

FILE* smtlib_convt::process_emitter::out_stream

solver_name

std::string smtlib_convt::process_emitter::solver_name

solver_proc_pid

long smtlib_convt::process_emitter::solver_proc_pid

solver_version

std::string smtlib_convt::process_emitter::solver_version

---

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

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