smtrat::ESSettingsDefault Struct Reference

#include <ESSettings.h>

Static Public Attributes
static constexpr auto	moduleName = "ESModule<ESSettingsDefault>"
static const std::size_t	substitution_bitsize_limit = 0

Detailed Description

Definition at line 13 of file ESSettings.h.

Field Documentation

moduleName

constexpr auto smtrat::ESSettingsDefault::moduleName = "ESModule<ESSettingsDefault>"

staticconstexpr

Definition at line 15 of file ESSettings.h.

substitution_bitsize_limit

const std::size_t smtrat::ESSettingsDefault::substitution_bitsize_limit = 0

static

Definition at line 17 of file ESSettings.h.

---

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

• smtrat-modules/ESModule/ESSettings.h