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

#include <FPPSettings.h>

Inheritance diagram for smtrat::FPPSettingsOptimization:
Inheritance graph
[legend]
Collaboration diagram for smtrat::FPPSettingsOptimization:
Collaboration graph
[legend]

Public Types

using Preprocessor = OptimizationPreprocessing
 

Static Public Attributes

static constexpr auto moduleName = "FPPModule<FPPSettingsOptimization>"
 
static const int max_iterations = 5
 

Detailed Description

Definition at line 62 of file FPPSettings.h.

Member Typedef Documentation

◆ Preprocessor

using smtrat::FPPSettingsOptimization::Preprocessor = OptimizationPreprocessing

Definition at line 65 of file FPPSettings.h.

Field Documentation

◆ max_iterations

const int smtrat::FPPSettings1::max_iterations = 5
staticinherited

Definition at line 34 of file FPPSettings.h.

◆ moduleName

constexpr auto smtrat::FPPSettingsOptimization::moduleName = "FPPModule<FPPSettingsOptimization>"
staticconstexpr

Definition at line 64 of file FPPSettings.h.

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