smtrat::ESSettingsLimitSubstitution Struct Reference

#include <ESSettings.h>

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

Detailed Description

Definition at line 20 of file ESSettings.h.

Field Documentation

moduleName

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

staticconstexpr

Definition at line 22 of file ESSettings.h.

substitution_bitsize_limit

const std::size_t smtrat::ESSettingsLimitSubstitution::substitution_bitsize_limit = 500

static

Definition at line 25 of file ESSettings.h.

---

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

• smtrat-modules/ESModule/ESSettings.h