smtrat::qe::coverings::DefaultSettings Struct Reference

#include <Settings.h>

Data Structures
struct	formula_evaluation

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

Static Public Attributes
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 9 of file Settings.h.

Member Typedef Documentation

op

using smtrat::qe::coverings::DefaultSettings::op = cadcells::operators::Mccallum<cadcells::operators::MccallumSettingsComplete>

Definition at line 14 of file Settings.h.

Field Documentation

cell_heuristic

constexpr cadcells::representation::CellHeuristic smtrat::qe::coverings::DefaultSettings::cell_heuristic = cadcells::representation::BIGGEST_CELL

staticconstexpr

Definition at line 15 of file Settings.h.

covering_heuristic

constexpr cadcells::representation::CoveringHeuristic smtrat::qe::coverings::DefaultSettings::covering_heuristic = cadcells::representation::BIGGEST_CELL_COVERING_MIN_TDEG

staticconstexpr

Definition at line 16 of file Settings.h.

sampling_algorithm

constexpr covering_ng::SamplingAlgorithm smtrat::qe::coverings::DefaultSettings::sampling_algorithm = covering_ng::SamplingAlgorithm::LOWER_UPPER_BETWEEN_SAMPLING_AVOID_RAN

staticconstexpr

Definition at line 17 of file Settings.h.

variable_ordering_heuristic

constexpr covering_ng::variables::VariableOrderingHeuristics smtrat::qe::coverings::DefaultSettings::variable_ordering_heuristic = covering_ng::variables::VariableOrderingHeuristics::GreedyMaxUnivariate

staticconstexpr

Definition at line 11 of file Settings.h.

---

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

• smtrat-qe/coverings/Settings.h