SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Static Public Attributes
smtrat::cad::BaseSettings Struct Reference

#include <Settings.h>

Inheritance diagram for smtrat::cad::BaseSettings:
Inheritance graph
[legend]

Static Public Attributes

static constexpr Incrementality incrementality = Incrementality::NONE
 
static constexpr Backtracking backtracking = Backtracking::ORDERED
 
static constexpr ProjectionType projectionOperator = cad::ProjectionType::McCallum
 
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 32 of file Settings.h.

Field Documentation

◆ backtracking

constexpr Backtracking smtrat::cad::BaseSettings::backtracking = Backtracking::ORDERED
staticconstexpr

Definition at line 34 of file Settings.h.

◆ coreHeuristic

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

Definition at line 37 of file Settings.h.

◆ fullSampleComparator

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

Definition at line 45 of file Settings.h.

◆ incrementality

constexpr Incrementality smtrat::cad::BaseSettings::incrementality = Incrementality::NONE
staticconstexpr

Definition at line 33 of file Settings.h.

◆ misHeuristic

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

Definition at line 39 of file Settings.h.

◆ projectionComparator

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

Definition at line 43 of file Settings.h.

◆ projectionOperator

constexpr ProjectionType smtrat::cad::BaseSettings::projectionOperator = cad::ProjectionType::McCallum
staticconstexpr

Definition at line 36 of file Settings.h.

◆ sampleComparator

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

Definition at line 44 of file Settings.h.

◆ simplifyProjectionByBounds

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

Definition at line 41 of file Settings.h.

◆ trivialSampleRadius

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

Definition at line 40 of file Settings.h.

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