smtrat::qe::cad::CADSettings Struct Reference

#include <CADElimination.h>

Inheritance diagram for smtrat::qe::cad::CADSettings:

Collaboration diagram for smtrat::qe::cad::CADSettings:

Static Public Attributes
static constexpr smtrat::cad::ProjectionType	projectionOperator = smtrat::cad::ProjectionType::Brown
static constexpr smtrat::cad::Incrementality	incrementality = smtrat::cad::Incrementality::NONE
static constexpr smtrat::cad::Backtracking	backtracking = smtrat::cad::Backtracking::UNORDERED
static constexpr CoreHeuristic	coreHeuristic = cad::CoreHeuristic::PreferProjection
static constexpr MISHeuristic	misHeuristic = cad::MISHeuristic::GREEDY
static constexpr std::size_t	trivialSampleRadius = 1
static constexpr bool	simplifyProjectionByBounds = true
static constexpr ProjectionCompareStrategy	projectionComparator = cad::ProjectionCompareStrategy::Default
static constexpr SampleCompareStrategy	sampleComparator = cad::SampleCompareStrategy::Default
static constexpr FullSampleCompareStrategy	fullSampleComparator = cad::FullSampleCompareStrategy::Default

Detailed Description

Definition at line 29 of file CADElimination.h.

Field Documentation

backtracking

constexpr smtrat::cad::Backtracking smtrat::qe::cad::CADSettings::backtracking = smtrat::cad::Backtracking::UNORDERED

staticconstexpr

Definition at line 32 of file CADElimination.h.

coreHeuristic

constexpr CoreHeuristic smtrat::cad::BaseSettings::coreHeuristic = cad::CoreHeuristic::PreferProjection

staticconstexprinherited

Definition at line 37 of file Settings.h.

fullSampleComparator

constexpr FullSampleCompareStrategy smtrat::cad::BaseSettings::fullSampleComparator = cad::FullSampleCompareStrategy::Default

staticconstexprinherited

Definition at line 45 of file Settings.h.

incrementality

constexpr smtrat::cad::Incrementality smtrat::qe::cad::CADSettings::incrementality = smtrat::cad::Incrementality::NONE

staticconstexpr

Definition at line 31 of file CADElimination.h.

misHeuristic

constexpr MISHeuristic smtrat::cad::BaseSettings::misHeuristic = cad::MISHeuristic::GREEDY

staticconstexprinherited

Definition at line 39 of file Settings.h.

projectionComparator

constexpr ProjectionCompareStrategy smtrat::cad::BaseSettings::projectionComparator = cad::ProjectionCompareStrategy::Default

staticconstexprinherited

Definition at line 43 of file Settings.h.

projectionOperator

constexpr smtrat::cad::ProjectionType smtrat::qe::cad::CADSettings::projectionOperator = smtrat::cad::ProjectionType::Brown

staticconstexpr

Definition at line 30 of file CADElimination.h.

sampleComparator

constexpr SampleCompareStrategy smtrat::cad::BaseSettings::sampleComparator = cad::SampleCompareStrategy::Default

staticconstexprinherited

Definition at line 44 of file Settings.h.

simplifyProjectionByBounds

constexpr bool smtrat::cad::BaseSettings::simplifyProjectionByBounds = true

staticconstexprinherited

Definition at line 41 of file Settings.h.

trivialSampleRadius

constexpr std::size_t smtrat::cad::BaseSettings::trivialSampleRadius = 1

staticconstexprinherited

Definition at line 40 of file Settings.h.

---

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

• smtrat-qe/cad/CADElimination.h