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

#include <NewCADSettings.h>

Inheritance diagram for smtrat::NewCADSettingsEQ_SD:
Inheritance graph
[legend]
Collaboration diagram for smtrat::NewCADSettingsEQ_SD:
Collaboration graph
[legend]

Static Public Attributes

static constexpr auto moduleName = "NewCADModule<NewCADEQ_SD>"
 
static constexpr std::size_t trivialSampleRadius = 1
 
static constexpr bool simplifyProjectionByBounds = false
 
static constexpr bool restrictProjectionByEC = true
 
static constexpr bool deletePolynomials = true
 
static constexpr bool interruptions = false
 
static constexpr bool semiRestrictedProjection = true
 
static constexpr cad::CoreHeuristic coreHeuristic = cad::CoreHeuristic::PreferSampling
 
static constexpr bool debugProjection = false
 
static constexpr bool debugStepsToTikz = false
 
static constexpr bool force_nonincremental = false
 
static constexpr bool split_for_integers = true
 
static constexpr bool restrictedIfPossible = true
 
static constexpr bool pp_disable_variable_elimination = true
 
static constexpr bool pp_disable_resultants = true
 
static constexpr cad::MISHeuristic misHeuristic = MIS
 
static constexpr Incrementality incrementality = I
 
static constexpr Backtracking backtracking = B
 
static constexpr ProjectionType projectionOperator = P
 
static constexpr cad::SampleCompareStrategy sampleComparator = SCS
 
static constexpr cad::FullSampleCompareStrategy fullSampleComparator = FSCS
 
static constexpr cad::ProjectionCompareStrategy projectionComparator = PCS
 

Detailed Description

Definition at line 313 of file NewCADSettings.h.

Field Documentation

◆ backtracking

template<Incrementality I, Backtracking B>
constexpr Backtracking smtrat::cad::IncrementalityMixin< I, B >::backtracking = B
staticconstexprinherited

Definition at line 19 of file NewCADSettings.h.

◆ coreHeuristic

constexpr cad::CoreHeuristic smtrat::NewCADBaseSettings::coreHeuristic = cad::CoreHeuristic::PreferSampling
staticconstexprinherited

Definition at line 85 of file NewCADSettings.h.

◆ debugProjection

constexpr bool smtrat::NewCADBaseSettings::debugProjection = false
staticconstexprinherited

Definition at line 89 of file NewCADSettings.h.

◆ debugStepsToTikz

constexpr bool smtrat::NewCADBaseSettings::debugStepsToTikz = false
staticconstexprinherited

Definition at line 90 of file NewCADSettings.h.

◆ deletePolynomials

constexpr bool smtrat::NewCADSettingsEQ_SD::deletePolynomials = true
staticconstexpr

Definition at line 318 of file NewCADSettings.h.

◆ force_nonincremental

constexpr bool smtrat::NewCADBaseSettings::force_nonincremental = false
staticconstexprinherited

Definition at line 91 of file NewCADSettings.h.

◆ fullSampleComparator

template<SampleCompareStrategy SCS, FullSampleCompareStrategy FSCS>
constexpr cad::FullSampleCompareStrategy smtrat::cad::SampleCompareMixin< SCS, FSCS >::fullSampleComparator = FSCS
staticconstexprinherited

Definition at line 46 of file NewCADSettings.h.

◆ incrementality

template<Incrementality I, Backtracking B>
constexpr Incrementality smtrat::cad::IncrementalityMixin< I, B >::incrementality = I
staticconstexprinherited

Definition at line 18 of file NewCADSettings.h.

◆ interruptions

constexpr bool smtrat::NewCADSettingsEQ_SD::interruptions = false
staticconstexpr

Definition at line 319 of file NewCADSettings.h.

◆ misHeuristic

template<MISHeuristic MIS>
constexpr cad::MISHeuristic smtrat::cad::MISHeuristicMixin< MIS >::misHeuristic = MIS
staticconstexprinherited

Definition at line 78 of file NewCADSettings.h.

◆ moduleName

constexpr auto smtrat::NewCADSettingsEQ_SD::moduleName = "NewCADModule<NewCADEQ_SD>"
staticconstexpr

Definition at line 314 of file NewCADSettings.h.

◆ pp_disable_resultants

constexpr bool smtrat::NewCADBaseSettings::pp_disable_resultants = true
staticconstexprinherited

Definition at line 98 of file NewCADSettings.h.

◆ pp_disable_variable_elimination

constexpr bool smtrat::NewCADBaseSettings::pp_disable_variable_elimination = true
staticconstexprinherited

Definition at line 97 of file NewCADSettings.h.

◆ projectionComparator

template<ProjectionCompareStrategy PCS>
constexpr cad::ProjectionCompareStrategy smtrat::cad::ProjectionOrderMixin< PCS >::projectionComparator = PCS
staticconstexprinherited

Definition at line 65 of file NewCADSettings.h.

◆ projectionOperator

template<ProjectionType P>
constexpr ProjectionType smtrat::cad::ProjectionMixin< P >::projectionOperator = P
staticconstexprinherited

Definition at line 33 of file NewCADSettings.h.

◆ restrictedIfPossible

constexpr bool smtrat::NewCADBaseSettings::restrictedIfPossible = true
staticconstexprinherited

Definition at line 95 of file NewCADSettings.h.

◆ restrictProjectionByEC

constexpr bool smtrat::NewCADSettingsEQ_SD::restrictProjectionByEC = true
staticconstexpr

Definition at line 317 of file NewCADSettings.h.

◆ sampleComparator

template<SampleCompareStrategy SCS, FullSampleCompareStrategy FSCS>
constexpr cad::SampleCompareStrategy smtrat::cad::SampleCompareMixin< SCS, FSCS >::sampleComparator = SCS
staticconstexprinherited

Definition at line 45 of file NewCADSettings.h.

◆ semiRestrictedProjection

constexpr bool smtrat::NewCADSettingsEQ_SD::semiRestrictedProjection = true
staticconstexpr

Definition at line 320 of file NewCADSettings.h.

◆ simplifyProjectionByBounds

constexpr bool smtrat::NewCADSettingsEQ_SD::simplifyProjectionByBounds = false
staticconstexpr

Definition at line 316 of file NewCADSettings.h.

◆ split_for_integers

constexpr bool smtrat::NewCADBaseSettings::split_for_integers = true
staticconstexprinherited

Definition at line 92 of file NewCADSettings.h.

◆ trivialSampleRadius

constexpr std::size_t smtrat::NewCADSettingsEQ_SD::trivialSampleRadius = 1
staticconstexpr

Definition at line 315 of file NewCADSettings.h.

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