smtrat::mcsat::onecell::DefaultSettings Struct Reference

#include <Explanation.h>

Inheritance diagram for smtrat::mcsat::onecell::DefaultSettings:

Collaboration diagram for smtrat::mcsat::onecell::DefaultSettings:

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

Static Public Attributes
constexpr static bool	exploit_strict_constraints = true
constexpr static auto	cell_heuristic = cadcells::representation::LOWEST_DEGREE_BARRIERS_CACHE_GLOBAL
constexpr static auto	covering_heuristic = cadcells::representation::LDB_COVERING_CACHE_GLOBAL
static constexpr bool	clause_chain_with_equivalences = false
static constexpr bool	enforce_tarski = false
constexpr static bool	use_approximation = false

Detailed Description

Definition at line 78 of file Explanation.h.

Member Typedef Documentation

op

using smtrat::mcsat::onecell::DefaultSettings::op = cadcells::operators::Mccallum<cadcells::operators::MccallumSettingsComplete>

Definition at line 83 of file Explanation.h.

Field Documentation

cell_heuristic

constexpr static auto smtrat::mcsat::onecell::DefaultSettings::cell_heuristic = cadcells::representation::LOWEST_DEGREE_BARRIERS_CACHE_GLOBAL

staticconstexpr

Definition at line 81 of file Explanation.h.

clause_chain_with_equivalences

constexpr bool smtrat::mcsat::onecell::BaseSettings::clause_chain_with_equivalences = false

staticconstexprinherited

Definition at line 21 of file Explanation.h.

covering_heuristic

constexpr static auto smtrat::mcsat::onecell::DefaultSettings::covering_heuristic = cadcells::representation::LDB_COVERING_CACHE_GLOBAL

staticconstexpr

Definition at line 82 of file Explanation.h.

enforce_tarski

constexpr bool smtrat::mcsat::onecell::BaseSettings::enforce_tarski = false

staticconstexprinherited

Definition at line 22 of file Explanation.h.

exploit_strict_constraints

constexpr static bool smtrat::mcsat::onecell::DefaultSettings::exploit_strict_constraints = true

staticconstexpr

Definition at line 79 of file Explanation.h.

use_approximation

constexpr static bool smtrat::mcsat::onecell::BaseSettings::use_approximation = false

staticconstexprinherited

Definition at line 24 of file Explanation.h.

---

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

• smtrat-mcsat/explanations/onecell/Explanation.h