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

#include <NewCADSettings.h>

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

Static Public Attributes

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
 

Detailed Description

Definition at line 84 of file NewCADSettings.h.

Field Documentation

◆ coreHeuristic

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

Definition at line 85 of file NewCADSettings.h.

◆ debugProjection

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

Definition at line 89 of file NewCADSettings.h.

◆ debugStepsToTikz

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

Definition at line 90 of file NewCADSettings.h.

◆ force_nonincremental

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

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

◆ pp_disable_resultants

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

Definition at line 98 of file NewCADSettings.h.

◆ pp_disable_variable_elimination

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

Definition at line 97 of file NewCADSettings.h.

◆ restrictedIfPossible

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

Definition at line 95 of file NewCADSettings.h.

◆ restrictProjectionByEC

constexpr bool smtrat::NewCADBaseSettings::restrictProjectionByEC = false
staticconstexpr

Definition at line 88 of file NewCADSettings.h.

◆ semiRestrictedProjection

constexpr bool smtrat::NewCADBaseSettings::semiRestrictedProjection = false
staticconstexpr

Definition at line 94 of file NewCADSettings.h.

◆ simplifyProjectionByBounds

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

Definition at line 87 of file NewCADSettings.h.

◆ split_for_integers

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

Definition at line 92 of file NewCADSettings.h.

◆ trivialSampleRadius

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

Definition at line 86 of file NewCADSettings.h.

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