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

#include <FPPSettings.h>

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

Public Types

using Preprocessor = PBPreprocessingGroebner
 

Static Public Attributes

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

Detailed Description

Definition at line 50 of file FPPSettings.h.

Member Typedef Documentation

◆ Preprocessor

using smtrat::FPPSettingsPBGroebner::Preprocessor = PBPreprocessingGroebner

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

Definition at line 52 of file FPPSettings.h.

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