Settings.h File Reference

#include <carl-common/memory/Singleton.h>
#include <carl-settings/Settings.h>
#include <any>
#include <cassert>
#include <functional>
#include <map>
#include <sstream>
#include <string>

Include dependency graph for Settings.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	smtrat::settings::CoreSettings
struct	smtrat::settings::SolverSettings
struct	smtrat::settings::ModuleSettings
struct	smtrat::settings::Settings

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

Functions
const settings::Settings &	smtrat::Settings ()
const auto &	smtrat::settings_core ()
const auto &	smtrat::settings_solver ()
const auto &	smtrat::settings_module ()