smtrat::settings::SolverSettings Struct Reference

#include <Settings.h>

Collaboration diagram for smtrat::settings::SolverSettings:

Data Fields
bool	print_model
bool	print_all_models
bool	preprocess
std::string	preprocess_output_file
bool	convert_to_cnf_dimacs
bool	convert_to_cnf_smtlib

Detailed Description

Definition at line 27 of file Settings.h.

Field Documentation

convert_to_cnf_dimacs

bool smtrat::settings::SolverSettings::convert_to_cnf_dimacs

Definition at line 32 of file Settings.h.

convert_to_cnf_smtlib

bool smtrat::settings::SolverSettings::convert_to_cnf_smtlib

Definition at line 33 of file Settings.h.

preprocess

bool smtrat::settings::SolverSettings::preprocess

Definition at line 30 of file Settings.h.

preprocess_output_file

std::string smtrat::settings::SolverSettings::preprocess_output_file

Definition at line 31 of file Settings.h.

print_all_models

bool smtrat::settings::SolverSettings::print_all_models

Definition at line 29 of file Settings.h.

print_model

bool smtrat::settings::SolverSettings::print_model

Definition at line 28 of file Settings.h.

---

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

• smtrat-common/settings/Settings.h