smtrat::cadcells::operators::MccallumSettingsComplete Struct Reference

#include <operator_mccallum.h>

Inheritance diagram for smtrat::cadcells::operators::MccallumSettingsComplete:

Collaboration diagram for smtrat::cadcells::operators::MccallumSettingsComplete:

Static Public Attributes
static constexpr bool	complete = true

Detailed Description

Definition at line 16 of file operator_mccallum.h.

Field Documentation

complete

constexpr bool smtrat::cadcells::operators::MccallumSettingsComplete::complete = true

staticconstexpr

Definition at line 17 of file operator_mccallum.h.

---

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

• smtrat-cadcells/operators/operator_mccallum.h