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

#include <NewCADSettings.h>

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

Static Public Attributes

static constexpr auto moduleName = "NewCADModule<NewCADEQ_BSD>"
 
static constexpr std::size_t trivialSampleRadius = 1
 
static constexpr bool simplifyProjectionByBounds = true
 
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 367 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_BSD::deletePolynomials = true
staticconstexpr

Definition at line 372 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_BSD::interruptions = false
staticconstexpr

Definition at line 373 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_BSD::moduleName = "NewCADModule<NewCADEQ_BSD>"
staticconstexpr

Definition at line 368 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_BSD::restrictProjectionByEC = true
staticconstexpr

Definition at line 371 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_BSD::semiRestrictedProjection = true
staticconstexpr

Definition at line 374 of file NewCADSettings.h.

◆ simplifyProjectionByBounds

constexpr bool smtrat::NewCADSettingsEQ_BSD::simplifyProjectionByBounds = true
staticconstexpr

Definition at line 370 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_BSD::trivialSampleRadius = 1
staticconstexpr

Definition at line 369 of file NewCADSettings.h.

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