SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Static Public Attributes
smtrat::BESettings1 Struct Reference

#include <BESettings.h>

Static Public Attributes

static constexpr auto moduleName = "BEModule<BESettings1>"
 
static const bool example_setting = true
 Example for a setting. More...
 

Detailed Description

Definition at line 13 of file BESettings.h.

Field Documentation

◆ example_setting

const bool smtrat::BESettings1::example_setting = true
static

Example for a setting.

Definition at line 19 of file BESettings.h.

◆ moduleName

constexpr auto smtrat::BESettings1::moduleName = "BEModule<BESettings1>"
staticconstexpr

Definition at line 15 of file BESettings.h.

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