smtrat::mcsat::fm::IgnoreCoreSettings Struct Reference

#include <Explanation.h>

Static Public Attributes
static constexpr bool	use_all_constraints = true

Detailed Description

Definition at line 14 of file Explanation.h.

Field Documentation

use_all_constraints

constexpr bool smtrat::mcsat::fm::IgnoreCoreSettings::use_all_constraints = true

staticconstexpr

Definition at line 15 of file Explanation.h.

---

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

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