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

#include <FPPSettings.h>

Public Types

typedef PreprocessingOne Preprocessor
 

Static Public Attributes

static constexpr auto moduleName = "FPPModule<FPPSettings1Old>"
 
static const int max_iterations = 5
 The maximum number of iterations in order to reach a fix point during the repeated application of preprocessing. More...
 

Detailed Description

Definition at line 19 of file FPPSettings.h.

Member Typedef Documentation

◆ Preprocessor

typedef PreprocessingOne smtrat::FPPSettings1Old::Preprocessor

Definition at line 28 of file FPPSettings.h.

Field Documentation

◆ max_iterations

const int smtrat::FPPSettings1Old::max_iterations = 5
static

The maximum number of iterations in order to reach a fix point during the repeated application of preprocessing.

If this number is negative, this procedure stops only if it indeed reached a fix point.

Definition at line 26 of file FPPSettings.h.

◆ moduleName

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

Definition at line 21 of file FPPSettings.h.

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