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

#include <PFESettings.h>

Static Public Attributes

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

Detailed Description

Definition at line 13 of file PFESettings.h.

Field Documentation

◆ example_setting

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

Example for a setting.

Definition at line 19 of file PFESettings.h.

◆ moduleName

constexpr auto smtrat::PFESettings1::moduleName = "PFEModule<PFESettings1>"
staticconstexpr

Definition at line 15 of file PFESettings.h.

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