smtrat::CoveringNGSettingsDefault Struct Reference

#include <CoveringNGSettings.h>

Inheritance diagram for smtrat::CoveringNGSettingsDefault:

Data Structures
struct	formula_evaluation

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

Static Public Attributes
static constexpr char	moduleName [] = "CoveringNGModule<CoveringNGSettingsDefault>"
static constexpr bool	transform_boolean_variables_to_reals = true
static constexpr covering_ng::variables::VariableOrderingHeuristics	variable_ordering_heuristic = covering_ng::variables::VariableOrderingHeuristics::GreedyMaxUnivariate
static constexpr cadcells::representation::CellHeuristic	cell_heuristic = cadcells::representation::BIGGEST_CELL
static constexpr cadcells::representation::CoveringHeuristic	covering_heuristic = cadcells::representation::BIGGEST_CELL_COVERING_MIN_TDEG
static constexpr covering_ng::SamplingAlgorithm	sampling_algorithm = covering_ng::SamplingAlgorithm::LOWER_UPPER_BETWEEN_SAMPLING_AVOID_RAN

Detailed Description

Definition at line 13 of file CoveringNGSettings.h.

Member Typedef Documentation

op

using smtrat::CoveringNGSettingsDefault::op = cadcells::operators::Mccallum<cadcells::operators::MccallumSettingsComplete>

Definition at line 23 of file CoveringNGSettings.h.

Field Documentation

cell_heuristic

constexpr cadcells::representation::CellHeuristic smtrat::CoveringNGSettingsDefault::cell_heuristic = cadcells::representation::BIGGEST_CELL

staticconstexpr

Definition at line 24 of file CoveringNGSettings.h.

covering_heuristic

constexpr cadcells::representation::CoveringHeuristic smtrat::CoveringNGSettingsDefault::covering_heuristic = cadcells::representation::BIGGEST_CELL_COVERING_MIN_TDEG

staticconstexpr

Definition at line 25 of file CoveringNGSettings.h.

moduleName

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

staticconstexpr

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

staticconstexpr

Definition at line 26 of file CoveringNGSettings.h.

transform_boolean_variables_to_reals

constexpr bool smtrat::CoveringNGSettingsDefault::transform_boolean_variables_to_reals = true

staticconstexpr

Definition at line 17 of file CoveringNGSettings.h.

variable_ordering_heuristic

constexpr covering_ng::variables::VariableOrderingHeuristics smtrat::CoveringNGSettingsDefault::variable_ordering_heuristic = covering_ng::variables::VariableOrderingHeuristics::GreedyMaxUnivariate

staticconstexpr

Definition at line 20 of file CoveringNGSettings.h.

---

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

• smtrat-modules/CoveringNGModule/CoveringNGSettings.h