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

#include <PBPPSettings.h>

Inheritance diagram for smtrat::PBPPSettingsBase:
Inheritance graph
[legend]

Static Public Attributes

static constexpr auto moduleName = "PBPPModule<PBPPSettingsBase>"
 Name of the Module. More...
 
static constexpr bool use_rns_transformation = false
 Example for a setting. More...
 
static constexpr bool use_card_transformation = false
 
static constexpr bool use_mixed_transformation = false
 
static constexpr bool use_long_transformation = false
 
static constexpr bool use_short_transformation = false
 
static constexpr bool use_commander_transformation = false
 
static constexpr bool use_totalizer_transformation = false
 
static constexpr double MAX_NEW_RELATIVE_FORMULA_SIZE = 0.5
 
static constexpr bool USE_LIA_MIXED = false
 
static constexpr bool USE_LIA_ONLY = true
 
static constexpr bool ENCODE_IF_POSSIBLE = false
 
static constexpr bool NORMALIZE_CONSTRAINTS = false
 
static constexpr bool SPLIT_EQUALITIES = false
 

Detailed Description

Definition at line 13 of file PBPPSettings.h.

Field Documentation

◆ ENCODE_IF_POSSIBLE

constexpr bool smtrat::PBPPSettingsBase::ENCODE_IF_POSSIBLE = false
staticconstexpr

Definition at line 32 of file PBPPSettings.h.

◆ MAX_NEW_RELATIVE_FORMULA_SIZE

constexpr double smtrat::PBPPSettingsBase::MAX_NEW_RELATIVE_FORMULA_SIZE = 0.5
staticconstexpr

Definition at line 29 of file PBPPSettings.h.

◆ moduleName

constexpr auto smtrat::PBPPSettingsBase::moduleName = "PBPPModule<PBPPSettingsBase>"
staticconstexpr

Name of the Module.

Definition at line 15 of file PBPPSettings.h.

◆ NORMALIZE_CONSTRAINTS

constexpr bool smtrat::PBPPSettingsBase::NORMALIZE_CONSTRAINTS = false
staticconstexpr

Definition at line 33 of file PBPPSettings.h.

◆ SPLIT_EQUALITIES

constexpr bool smtrat::PBPPSettingsBase::SPLIT_EQUALITIES = false
staticconstexpr

Definition at line 34 of file PBPPSettings.h.

◆ use_card_transformation

constexpr bool smtrat::PBPPSettingsBase::use_card_transformation = false
staticconstexpr

Definition at line 20 of file PBPPSettings.h.

◆ use_commander_transformation

constexpr bool smtrat::PBPPSettingsBase::use_commander_transformation = false
staticconstexpr

Definition at line 24 of file PBPPSettings.h.

◆ USE_LIA_MIXED

constexpr bool smtrat::PBPPSettingsBase::USE_LIA_MIXED = false
staticconstexpr

Definition at line 30 of file PBPPSettings.h.

◆ USE_LIA_ONLY

constexpr bool smtrat::PBPPSettingsBase::USE_LIA_ONLY = true
staticconstexpr

Definition at line 31 of file PBPPSettings.h.

◆ use_long_transformation

constexpr bool smtrat::PBPPSettingsBase::use_long_transformation = false
staticconstexpr

Definition at line 22 of file PBPPSettings.h.

◆ use_mixed_transformation

constexpr bool smtrat::PBPPSettingsBase::use_mixed_transformation = false
staticconstexpr

Definition at line 21 of file PBPPSettings.h.

◆ use_rns_transformation

constexpr bool smtrat::PBPPSettingsBase::use_rns_transformation = false
staticconstexpr

Example for a setting.

Definition at line 19 of file PBPPSettings.h.

◆ use_short_transformation

constexpr bool smtrat::PBPPSettingsBase::use_short_transformation = false
staticconstexpr

Definition at line 23 of file PBPPSettings.h.

◆ use_totalizer_transformation

constexpr bool smtrat::PBPPSettingsBase::use_totalizer_transformation = false
staticconstexpr

Definition at line 25 of file PBPPSettings.h.

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