ValidationPrinter.h File Reference

#include "ValidationPoint.h"
#include "ValidationCollector.h"
#include <carl-io/SMTLIBStream.h>
#include <fstream>
#include <iostream>
#include <iomanip>

Include dependency graph for ValidationPrinter.h:

Go to the source code of this file.

Data Structures
struct	smtrat::validation::ValidationPrinter< SOF >

Namespaces
	smtrat
	Class to create the formulas for axioms.
	smtrat::validation

Enumerations
enum class	smtrat::validation::ValidationOutputFormat { smtrat::validation::SMTLIB }

Functions
template<ValidationOutputFormat SOF>
std::ostream &	smtrat::validation::operator<< (std::ostream &os, ValidationPrinter< SOF >)
template<>
std::ostream &	smtrat::validation::operator<< (std::ostream &os, ValidationPrinter< ValidationOutputFormat::SMTLIB >)
auto	smtrat::validation::validation_formulas_as_smtlib ()
void	smtrat::validation::validation_formulas_to_smtlib_file (const std::string &filename)