smtrat::cadcells::operators::MccallumSettings Struct Reference

#include <operator_mccallum.h>

Inheritance diagram for smtrat::cadcells::operators::MccallumSettings:

Static Public Attributes
static constexpr bool	complete = false

Detailed Description

Definition at line 12 of file operator_mccallum.h.

Field Documentation

complete

constexpr bool smtrat::cadcells::operators::MccallumSettings::complete = false

staticconstexpr

Definition at line 13 of file operator_mccallum.h.

---

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

• smtrat-cadcells/operators/operator_mccallum.h