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

#include <FPPSettings.h>

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

Public Types

using Preprocessor = PBPreprocessing
 

Static Public Attributes

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

Detailed Description

Definition at line 56 of file FPPSettings.h.

Member Typedef Documentation

◆ Preprocessor

using smtrat::FPPSettingsPB::Preprocessor = PBPreprocessing

Definition at line 59 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::FPPSettingsPB::moduleName = "FPPModule<FPPSettingsPB>"
staticconstexpr

Definition at line 58 of file FPPSettings.h.

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