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

#include <NewCoveringSettings.h>

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

Public Types

using op = cadcells::operators::Mccallum< cadcells::operators::MccallumSettings >
 

Static Public Attributes

static constexpr bool backtracking = false
 
static constexpr char moduleName [] = "NewCoveringModule<NewCovering>"
 
static constexpr mcsat::VariableOrdering variableOrderingStrategy = mcsat::VariableOrdering::GreedyMaxUnivariate
 
static constexpr smtrat::cadcells::representation::CoveringHeuristic covering_heuristic = cadcells::representation::BIGGEST_CELL_COVERING
 
static constexpr smtrat::SamplingAlgorithm sampling_algorithm = smtrat::SamplingAlgorithm::LOWER_UPPER_BETWEEN_SAMPLING
 
static constexpr smtrat::IsSampleOutsideAlgorithm is_sample_outside_algorithm = smtrat::IsSampleOutsideAlgorithm::DEFAULT
 
static constexpr bool incremental = true
 

Detailed Description

Definition at line 31 of file NewCoveringSettings.h.

Member Typedef Documentation

◆ op

using smtrat::NewCoveringSettings1::op = cadcells::operators::Mccallum<cadcells::operators::MccallumSettings>
inherited

Definition at line 24 of file NewCoveringSettings.h.

Field Documentation

◆ backtracking

constexpr bool smtrat::NewCoveringSettings2::backtracking = false
staticconstexpr

Definition at line 32 of file NewCoveringSettings.h.

◆ covering_heuristic

constexpr smtrat::cadcells::representation::CoveringHeuristic smtrat::NewCoveringSettings1::covering_heuristic = cadcells::representation::BIGGEST_CELL_COVERING
staticconstexprinherited

Definition at line 23 of file NewCoveringSettings.h.

◆ incremental

constexpr bool smtrat::NewCoveringSettings1::incremental = true
staticconstexprinherited

Definition at line 27 of file NewCoveringSettings.h.

◆ is_sample_outside_algorithm

constexpr smtrat::IsSampleOutsideAlgorithm smtrat::NewCoveringSettings1::is_sample_outside_algorithm = smtrat::IsSampleOutsideAlgorithm::DEFAULT
staticconstexprinherited

Definition at line 26 of file NewCoveringSettings.h.

◆ moduleName

constexpr char smtrat::NewCoveringSettings1::moduleName[] = "NewCoveringModule<NewCovering>"
staticconstexprinherited

Definition at line 21 of file NewCoveringSettings.h.

◆ sampling_algorithm

constexpr smtrat::SamplingAlgorithm smtrat::NewCoveringSettings1::sampling_algorithm = smtrat::SamplingAlgorithm::LOWER_UPPER_BETWEEN_SAMPLING
staticconstexprinherited

Definition at line 25 of file NewCoveringSettings.h.

◆ variableOrderingStrategy

constexpr mcsat::VariableOrdering smtrat::NewCoveringSettings1::variableOrderingStrategy = mcsat::VariableOrdering::GreedyMaxUnivariate
staticconstexprinherited

Definition at line 22 of file NewCoveringSettings.h.

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