SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Static Public Attributes
smtrat::analyzer::SettingsHong Struct Reference
Inheritance diagram for smtrat::analyzer::SettingsHong:
Inheritance graph
[legend]
Collaboration diagram for smtrat::analyzer::SettingsHong:
Collaboration graph
[legend]

Static Public Attributes

static constexpr cad::ProjectionType projectionOperator = cad::ProjectionType::Hong
 
static constexpr Incrementality incrementality = Incrementality::NONE
 
static constexpr Backtracking backtracking = Backtracking::ORDERED
 
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 71 of file cad_projections.cpp.

Field Documentation

◆ backtracking

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

Definition at line 34 of file Settings.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 Incrementality smtrat::cad::BaseSettings::incrementality = Incrementality::NONE
staticconstexprinherited

Definition at line 33 of file Settings.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 cad::ProjectionType smtrat::analyzer::SettingsHong::projectionOperator = cad::ProjectionType::Hong
staticconstexpr

Definition at line 72 of file cad_projections.cpp.

◆ 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: