smtrat::mcsat::onecellcad::levelwise::SectorHeuristic3 Struct Reference

#include <Explanation.h>

Static Public Attributes
static constexpr int	sectorHeuristic = 3

Detailed Description

Definition at line 30 of file Explanation.h.

Field Documentation

sectorHeuristic

constexpr int smtrat::mcsat::onecellcad::levelwise::SectorHeuristic3::sectorHeuristic = 3

staticconstexpr

Definition at line 31 of file Explanation.h.

---

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

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