SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Static Public Attributes
smtrat::mcsat::onecell::BaseSettings Struct Reference

#include <Explanation.h>

Inheritance diagram for smtrat::mcsat::onecell::BaseSettings:
Inheritance graph
[legend]

Static Public Attributes

static constexpr bool clause_chain_with_equivalences = false
 
static constexpr bool enforce_tarski = false
 
constexpr static bool use_approximation = false
 
constexpr static bool exploit_strict_constraints = true
 

Detailed Description

Definition at line 20 of file Explanation.h.

Field Documentation

◆ clause_chain_with_equivalences

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

Definition at line 21 of file Explanation.h.

◆ enforce_tarski

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

Definition at line 22 of file Explanation.h.

◆ exploit_strict_constraints

constexpr static bool smtrat::mcsat::onecell::BaseSettings::exploit_strict_constraints = true
staticconstexpr

Definition at line 26 of file Explanation.h.

◆ use_approximation

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

Definition at line 24 of file Explanation.h.

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