smtrat::internal::NewCoveringSettings Struct Reference

#include <FilterBoundsOnly.h>

Inheritance diagram for smtrat::internal::NewCoveringSettings:

Collaboration diagram for smtrat::internal::NewCoveringSettings:

Public Types
using	op = cadcells::operators::MccallumFiltered< OpSettings >
using	op = cadcells::operators::Mccallum< cadcells::operators::MccallumSettings >
using	op = cadcells::operators::Mccallum< cadcells::operators::MccallumSettingsComplete >
using	op = cadcells::operators::MccallumFiltered< OpSettings >
using	op = cadcells::operators::MccallumFiltered< OpSettings >
using	op = cadcells::operators::Mccallum< cadcells::operators::MccallumSettings >

Static Public Attributes
constexpr static auto	covering_heuristic = cadcells::representation::BIGGEST_CELL_COVERING_FILTER
static constexpr bool	backtracking = false
static constexpr char	moduleName [] = "NewCoveringModule<NewCovering>"
static constexpr mcsat::VariableOrdering	variableOrderingStrategy = mcsat::VariableOrdering::GreedyMaxUnivariate
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 15 of file FilterBoundsOnly.h.

Member Typedef Documentation

op [1/6]

using smtrat::internal::NewCoveringSettings::op = cadcells::operators::MccallumFiltered<OpSettings>

Definition at line 16 of file FilterBoundsOnly.h.

op [2/6]

using smtrat::internal::NewCoveringSettings::op = cadcells::operators::Mccallum<cadcells::operators::MccallumSettings>

Definition at line 11 of file Incomplete.h.

op [3/6]

using smtrat::internal::NewCoveringSettings::op = cadcells::operators::Mccallum<cadcells::operators::MccallumSettingsComplete>

Definition at line 12 of file PPComplete.h.

op [4/6]

using smtrat::internal::NewCoveringSettings::op = cadcells::operators::MccallumFiltered<OpSettings>

Definition at line 17 of file PPFilterBoundsOnly.h.

op [5/6]

using smtrat::internal::NewCoveringSettings::op = cadcells::operators::MccallumFiltered<OpSettings>

Definition at line 18 of file PPFilterBoundsOnlyComplete.h.

op [6/6]

using smtrat::internal::NewCoveringSettings::op = cadcells::operators::Mccallum<cadcells::operators::MccallumSettings>

Definition at line 12 of file PPIncomplete.h.

Field Documentation

backtracking

constexpr bool smtrat::NewCoveringSettings2::backtracking = false

staticconstexprinherited

Definition at line 32 of file NewCoveringSettings.h.

covering_heuristic

constexpr static auto smtrat::internal::NewCoveringSettings::covering_heuristic = cadcells::representation::BIGGEST_CELL_COVERING_FILTER

staticconstexpr

Definition at line 17 of file FilterBoundsOnly.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 files:

• smtrat-strategies/strategies/NewCovering/FilterBoundsOnly.h
• smtrat-strategies/strategies/NewCovering/Incomplete.h
• smtrat-strategies/strategies/NewCovering/PPComplete.h
• smtrat-strategies/strategies/NewCovering/PPFilterBoundsOnly.h
• smtrat-strategies/strategies/NewCovering/PPFilterBoundsOnlyComplete.h
• smtrat-strategies/strategies/NewCovering/PPIncomplete.h