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

#include <NewCADSettings.h>

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

Static Public Attributes

static constexpr auto moduleName = "NewCADModule<NewCAD_LOLTSA>"
 
static constexpr cad::CoreHeuristic coreHeuristic = cad::CoreHeuristic::PreferSampling
 
static constexpr std::size_t trivialSampleRadius = 1
 
static constexpr bool simplifyProjectionByBounds = false
 
static constexpr bool restrictProjectionByEC = false
 
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 semiRestrictedProjection = false
 
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::ProjectionCompareStrategy projectionComparator = PCS
 
static constexpr cad::SampleCompareStrategy sampleComparator = SCS
 
static constexpr cad::FullSampleCompareStrategy fullSampleComparator = FSCS
 

Detailed Description

Definition at line 197 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.

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

◆ 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::NewCADSettings_LOLTSA::moduleName = "NewCADModule<NewCAD_LOLTSA>"
staticconstexpr

Definition at line 198 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::NewCADBaseSettings::restrictProjectionByEC = false
staticconstexprinherited

Definition at line 88 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::NewCADBaseSettings::semiRestrictedProjection = false
staticconstexprinherited

Definition at line 94 of file NewCADSettings.h.

◆ simplifyProjectionByBounds

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

Definition at line 87 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::NewCADBaseSettings::trivialSampleRadius = 1
staticconstexprinherited

Definition at line 86 of file NewCADSettings.h.

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