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

#include <PBPPSettings.h>

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

Static Public Attributes

static constexpr auto moduleName = "PBPPModule<PBPPSettingsBasic>"
 Name of the Module. More...
 
static constexpr bool use_card_transformation = true
 
static constexpr double MAX_NEW_RELATIVE_FORMULA_SIZE = 0.5
 
static constexpr bool USE_LIA_MIXED = true
 
static constexpr bool USE_LIA_ONLY = false
 
static constexpr bool ENCODE_IF_POSSIBLE = true
 
static constexpr bool use_rns_transformation = false
 Example for a setting. More...
 
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 bool NORMALIZE_CONSTRAINTS = false
 
static constexpr bool SPLIT_EQUALITIES = false
 

Detailed Description

Definition at line 258 of file PBPPSettings.h.

Field Documentation

◆ ENCODE_IF_POSSIBLE

constexpr bool smtrat::PBPPSettingsBasic::ENCODE_IF_POSSIBLE = true
staticconstexpr

Definition at line 270 of file PBPPSettings.h.

◆ MAX_NEW_RELATIVE_FORMULA_SIZE

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

Definition at line 267 of file PBPPSettings.h.

◆ moduleName

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

Name of the Module.

Definition at line 261 of file PBPPSettings.h.

◆ NORMALIZE_CONSTRAINTS

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

Definition at line 33 of file PBPPSettings.h.

◆ SPLIT_EQUALITIES

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

Definition at line 34 of file PBPPSettings.h.

◆ use_card_transformation

constexpr bool smtrat::PBPPSettingsBasic::use_card_transformation = true
staticconstexpr

Definition at line 263 of file PBPPSettings.h.

◆ use_commander_transformation

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

Definition at line 24 of file PBPPSettings.h.

◆ USE_LIA_MIXED

constexpr bool smtrat::PBPPSettingsBasic::USE_LIA_MIXED = true
staticconstexpr

Definition at line 268 of file PBPPSettings.h.

◆ USE_LIA_ONLY

constexpr bool smtrat::PBPPSettingsBasic::USE_LIA_ONLY = false
staticconstexpr

Definition at line 269 of file PBPPSettings.h.

◆ use_long_transformation

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

Definition at line 22 of file PBPPSettings.h.

◆ use_mixed_transformation

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

Definition at line 21 of file PBPPSettings.h.

◆ use_rns_transformation

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

Example for a setting.

Definition at line 19 of file PBPPSettings.h.

◆ use_short_transformation

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

Definition at line 23 of file PBPPSettings.h.

◆ use_totalizer_transformation

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

Definition at line 25 of file PBPPSettings.h.

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