smtrat::mcsat::onecellcad::recursive::DontCoverNullification Struct Reference

#include <Explanation.h>

Static Public Attributes
static constexpr bool	cover_nullification = false

Detailed Description

Definition at line 80 of file Explanation.h.

Field Documentation

cover_nullification

constexpr bool smtrat::mcsat::onecellcad::recursive::DontCoverNullification::cover_nullification = false

staticconstexpr

Definition at line 81 of file Explanation.h.

---

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

• smtrat-mcsat/explanations/onecellcad/recursive/Explanation.h