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

#include <FPPSettings.h>

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

Public Types

typedef PreprocessingTwo Preprocessor
 

Static Public Attributes

static constexpr auto moduleName = "FPPModule<FPPSettings2>"
 
static const int max_iterations = -1
 

Detailed Description

Definition at line 38 of file FPPSettings.h.

Member Typedef Documentation

◆ Preprocessor

typedef PreprocessingTwo smtrat::FPPSettings1::Preprocessor
inherited

Definition at line 35 of file FPPSettings.h.

Field Documentation

◆ max_iterations

const int smtrat::FPPSettings2::max_iterations = -1
static

Definition at line 41 of file FPPSettings.h.

◆ moduleName

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

Definition at line 40 of file FPPSettings.h.

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