smtrat::validation Namespace Reference

Data Structures
class	ValidationCollector
class	ValidationPoint
struct	ValidationPrinter
struct	ValidationSettings

Enumerations
enum class	ValidationOutputFormat { SMTLIB }

Functions
auto &	get (const std::string &channel, const std::string &file, int line)
template<ValidationOutputFormat SOF>
std::ostream &	operator<< (std::ostream &os, ValidationPrinter< SOF >)
template<>
std::ostream &	operator<< (std::ostream &os, ValidationPrinter< ValidationOutputFormat::SMTLIB >)
auto	validation_formulas_as_smtlib ()
void	validation_formulas_to_smtlib_file (const std::string &filename)
template<typename T >
void	registerValidationSettings (T &parser)

Enumeration Type Documentation

ValidationOutputFormat

enum smtrat::validation::ValidationOutputFormat

strong

Enumerator
SMTLIB

Definition at line 14 of file ValidationPrinter.h.

Function Documentation

get()

auto& smtrat::validation::get ( const std::string &  channel, const std::string &  file, int  line  )

inline

Definition at line 29 of file ValidationCollector.h.

Here is the caller graph for this function:

operator<<() [1/2]

template<ValidationOutputFormat SOF>

std::ostream& smtrat::validation::operator<<	(	std::ostream &	os,
		ValidationPrinter< SOF >
	)

operator<<() [2/2]

template<>

std::ostream& smtrat::validation::operator<<	(	std::ostream &	os,
		ValidationPrinter< ValidationOutputFormat::SMTLIB >
	)

Definition at line 25 of file ValidationPrinter.h.

registerValidationSettings()

template<typename T >

void smtrat::validation::registerValidationSettings

(

T &

parser

)

Definition at line 27 of file ValidationSettings.h.

Here is the caller graph for this function:

validation_formulas_as_smtlib()

auto smtrat::validation::validation_formulas_as_smtlib

(

)

Definition at line 54 of file ValidationPrinter.h.

Here is the caller graph for this function:

validation_formulas_to_smtlib_file()

void smtrat::validation::validation_formulas_to_smtlib_file

(

const std::string &

filename

)

Definition at line 58 of file ValidationPrinter.h.

Here is the call graph for this function:

Here is the caller graph for this function: