Settings.h File Reference

#include <carl-arith/ran/ran.h>

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::cad::BaseSettings

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

Enumerations
enum class	smtrat::cad::Incrementality { smtrat::cad::NONE , smtrat::cad::SIMPLE , smtrat::cad::FULL }
enum class	smtrat::cad::Backtracking { smtrat::cad::ORDERED , smtrat::cad::UNORDERED , smtrat::cad::HIDE }
enum class	smtrat::cad::ProjectionType {   smtrat::cad::Collins , smtrat::cad::Hong , smtrat::cad::McCallum , smtrat::cad::McCallum_partial ,   smtrat::cad::Lazard , smtrat::cad::Brown }
enum class	smtrat::cad::ProjectionCompareStrategy {   smtrat::cad::D , smtrat::cad::PD , smtrat::cad::SD , smtrat::cad::lD ,   smtrat::cad::LD , smtrat::cad::Default = lD }
enum class	smtrat::cad::SampleCompareStrategy {   smtrat::cad::T , smtrat::cad::TLSA , smtrat::cad::TSA , smtrat::cad::TS ,   smtrat::cad::LT , smtrat::cad::LTA , smtrat::cad::LTS , smtrat::cad::LTSA ,   smtrat::cad::LS , smtrat::cad::S , smtrat::cad::Type , smtrat::cad::Value ,   smtrat::cad::Default = LT }
enum class	smtrat::cad::FullSampleCompareStrategy { smtrat::cad::Type , smtrat::cad::Value , smtrat::cad::T , smtrat::cad::Default = T }
enum class	smtrat::cad::MISHeuristic {   smtrat::cad::TRIVIAL , smtrat::cad::GREEDY , smtrat::cad::GREEDY_PRE , smtrat::cad::GREEDY_WEIGHTED ,   smtrat::cad::EXACT , smtrat::cad::HYBRID }
enum class	smtrat::cad::CoreHeuristic {   smtrat::cad::BySample , smtrat::cad::PreferProjection , smtrat::cad::PreferSampling , smtrat::cad::EnumerateAll ,   smtrat::cad::Interleave }