smtrat::internal::CoveringNGSettings Struct Reference

#include <PPBooleanExploration.h>

Inheritance diagram for smtrat::internal::CoveringNGSettings:

Collaboration diagram for smtrat::internal::CoveringNGSettings:

Data Structures
struct	formula_evaluation

Public Types
using	op = cadcells::operators::MccallumFiltered< OpSettings >
using	op = cadcells::operators::MccallumFiltered< OpSettings >
using	op = cadcells::operators::MccallumFiltered< cadcells::operators::MccallumFilteredSettings >

Static Public Attributes
static constexpr bool	transform_boolean_variables_to_reals = false
constexpr static auto	cell_heuristic = cadcells::representation::BIGGEST_CELL_FILTER
constexpr static auto	covering_heuristic = cadcells::representation::BIGGEST_CELL_COVERING_FILTER
static constexpr covering_ng::variables::VariableOrderingHeuristics	variable_ordering_heuristic = covering_ng::variables::VariableOrderingHeuristics::EarliestSplitting
static constexpr char	moduleName [] = "CoveringNGModule<CoveringNGSettingsDefault>"
static constexpr covering_ng::SamplingAlgorithm	sampling_algorithm = covering_ng::SamplingAlgorithm::LOWER_UPPER_BETWEEN_SAMPLING_AVOID_RAN

Detailed Description

Definition at line 13 of file PPBooleanExploration.h.

Member Typedef Documentation

op [1/3]

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

Definition at line 19 of file PPFilterBoundsOnly.h.

op [2/3]

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

Definition at line 20 of file PPFilterBoundsOnlyComplete.h.

op [3/3]

using smtrat::internal::CoveringNGSettings::op = cadcells::operators::MccallumFiltered<cadcells::operators::MccallumFilteredSettings>

Definition at line 14 of file PPFilterNoop.h.

Field Documentation

cell_heuristic

constexpr static auto smtrat::internal::CoveringNGSettings::cell_heuristic = cadcells::representation::BIGGEST_CELL_FILTER

staticconstexpr

Definition at line 20 of file PPFilterBoundsOnly.h.

covering_heuristic

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

staticconstexpr

Definition at line 21 of file PPFilterBoundsOnly.h.

moduleName

constexpr char smtrat::CoveringNGSettingsDefault::moduleName[] = "CoveringNGModule<CoveringNGSettingsDefault>"

staticconstexprinherited

Definition at line 14 of file CoveringNGSettings.h.

sampling_algorithm

constexpr covering_ng::SamplingAlgorithm smtrat::CoveringNGSettingsDefault::sampling_algorithm = covering_ng::SamplingAlgorithm::LOWER_UPPER_BETWEEN_SAMPLING_AVOID_RAN

staticconstexprinherited

Definition at line 26 of file CoveringNGSettings.h.

transform_boolean_variables_to_reals

static constexpr bool smtrat::internal::CoveringNGSettings::transform_boolean_variables_to_reals = false

staticconstexpr

Definition at line 14 of file PPBooleanExplorationOnlyBool.h.

variable_ordering_heuristic

static constexpr covering_ng::variables::VariableOrderingHeuristics smtrat::internal::CoveringNGSettings::variable_ordering_heuristic = covering_ng::variables::VariableOrderingHeuristics::EarliestSplitting

staticconstexpr

Definition at line 14 of file PPImplicantsVarsVarorderSplitting.h.

---

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

• smtrat-strategies/strategies/CoveringNG/PPBooleanExploration.h
• smtrat-strategies/strategies/CoveringNG/PPFilterBoundsOnly.h
• smtrat-strategies/strategies/CoveringNG/PPFilterBoundsOnlyComplete.h
• smtrat-strategies/strategies/CoveringNG/PPFilterNoop.h
• smtrat-strategies/strategies/CoveringNG/PPBooleanExplorationOnlyBool.h
• smtrat-strategies/strategies/CoveringNG/PPBooleanExplorationWithBool.h
• smtrat-strategies/strategies/CoveringNG/PPImplicantsVarsVarorderSplitting.h
• smtrat-strategies/strategies/CoveringNG/PPVarorderPickering.h
• smtrat-strategies/strategies/CoveringNG/PPVarorderUnivariate.h