smtrat::PBGaussSettings1 Struct Reference

#include <PBGaussSettings.h>

Static Public Attributes
static constexpr auto	moduleName = "PBGaussModule<PBGaussSettings1>"
	Name of the Module. More...
static const bool	example_setting = true
	Example for a setting. More...

Detailed Description

Definition at line 13 of file PBGaussSettings.h.

Field Documentation

example_setting

const bool smtrat::PBGaussSettings1::example_setting = true

static

Example for a setting.

Definition at line 20 of file PBGaussSettings.h.

moduleName

constexpr auto smtrat::PBGaussSettings1::moduleName = "PBGaussModule<PBGaussSettings1>"

staticconstexpr

Name of the Module.

Definition at line 16 of file PBGaussSettings.h.

---

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

• smtrat-modules/PBGaussModule/PBGaussSettings.h