smtrat::FPPSettings1 Struct Reference

#include <FPPSettings.h>

Inheritance diagram for smtrat::FPPSettings1:

Public Types
typedef PreprocessingTwo	Preprocessor

Static Public Attributes
static constexpr auto	moduleName = "FPPModule<FPPSettings1>"
static const int	max_iterations = 5

Detailed Description

Definition at line 31 of file FPPSettings.h.

Member Typedef Documentation

Preprocessor

typedef PreprocessingTwo smtrat::FPPSettings1::Preprocessor

Definition at line 35 of file FPPSettings.h.

Field Documentation

max_iterations

const int smtrat::FPPSettings1::max_iterations = 5

static

Definition at line 34 of file FPPSettings.h.

moduleName

constexpr auto smtrat::FPPSettings1::moduleName = "FPPModule<FPPSettings1>"

staticconstexpr

Definition at line 33 of file FPPSettings.h.

---

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

• smtrat-modules/FPPModule/FPPSettings.h