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

#include <PBPPSettings.h>

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

Static Public Attributes

static constexpr auto moduleName = "PBPPModule<PBPPSettings1>"
 Name of the Module. More...
 
static constexpr bool use_card_transformation = true
 
static constexpr bool use_mixed_transformation = true
 
static constexpr bool use_long_transformation = true
 
static constexpr bool use_short_transformation = true
 
static constexpr bool use_commander_transformation = false
 
static constexpr bool use_totalizer_transformation = true
 
static constexpr double MAX_NEW_RELATIVE_FORMULA_SIZE = 20
 
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 NORMALIZE_CONSTRAINTS = false
 
static constexpr bool SPLIT_EQUALITIES = false
 

Detailed Description

Definition at line 48 of file PBPPSettings.h.

Field Documentation

◆ ENCODE_IF_POSSIBLE

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

Definition at line 65 of file PBPPSettings.h.

◆ MAX_NEW_RELATIVE_FORMULA_SIZE

constexpr double smtrat::PBPPSettings1::MAX_NEW_RELATIVE_FORMULA_SIZE = 20
staticconstexpr

Definition at line 62 of file PBPPSettings.h.

◆ moduleName

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

Name of the Module.

Definition at line 51 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::PBPPSettings1::use_card_transformation = true
staticconstexpr

Definition at line 53 of file PBPPSettings.h.

◆ use_commander_transformation

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

Definition at line 57 of file PBPPSettings.h.

◆ USE_LIA_MIXED

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

Definition at line 63 of file PBPPSettings.h.

◆ USE_LIA_ONLY

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

Definition at line 64 of file PBPPSettings.h.

◆ use_long_transformation

constexpr bool smtrat::PBPPSettings1::use_long_transformation = true
staticconstexpr

Definition at line 55 of file PBPPSettings.h.

◆ use_mixed_transformation

constexpr bool smtrat::PBPPSettings1::use_mixed_transformation = true
staticconstexpr

Definition at line 54 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::PBPPSettings1::use_short_transformation = true
staticconstexpr

Definition at line 56 of file PBPPSettings.h.

◆ use_totalizer_transformation

constexpr bool smtrat::PBPPSettings1::use_totalizer_transformation = true
staticconstexpr

Definition at line 58 of file PBPPSettings.h.

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