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

#include <FPPSettings.h>

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

Public Types

using Preprocessor = BVPreprocessing
 

Static Public Attributes

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

Detailed Description

Definition at line 44 of file FPPSettings.h.

Member Typedef Documentation

◆ Preprocessor

using smtrat::FPPSettings3::Preprocessor = BVPreprocessing

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

Definition at line 46 of file FPPSettings.h.

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