smtrat::PBPPSettingsWithNormalize Struct Reference

#include <PBPPSettings.h>

Inheritance diagram for smtrat::PBPPSettingsWithNormalize:

Collaboration diagram for smtrat::PBPPSettingsWithNormalize:

Static Public Attributes
static constexpr auto	moduleName = "PBPPModule<PBPPSettingsWithNormalize>"
	Name of the Module. More...
static constexpr bool	use_card_transformation = true
	Example for a setting. More...
static constexpr bool	use_mixed_transformation = true
static constexpr bool	use_long_transformation = true
static constexpr bool	use_short_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 = false
static constexpr bool	NORMALIZE_CONSTRAINTS = true
static constexpr bool	use_rns_transformation = false
	Example for a setting. More...
static constexpr bool	use_commander_transformation = false
static constexpr bool	use_totalizer_transformation = false
static constexpr bool	SPLIT_EQUALITIES = false

Detailed Description

Definition at line 78 of file PBPPSettings.h.

Field Documentation

ENCODE_IF_POSSIBLE

constexpr bool smtrat::PBPPSettingsWithNormalize::ENCODE_IF_POSSIBLE = false

staticconstexpr

Definition at line 95 of file PBPPSettings.h.

MAX_NEW_RELATIVE_FORMULA_SIZE

constexpr double smtrat::PBPPSettingsWithNormalize::MAX_NEW_RELATIVE_FORMULA_SIZE = 20

staticconstexpr

Definition at line 92 of file PBPPSettings.h.

moduleName

constexpr auto smtrat::PBPPSettingsWithNormalize::moduleName = "PBPPModule<PBPPSettingsWithNormalize>"

staticconstexpr

Name of the Module.

Definition at line 81 of file PBPPSettings.h.

NORMALIZE_CONSTRAINTS

constexpr bool smtrat::PBPPSettingsWithNormalize::NORMALIZE_CONSTRAINTS = true

staticconstexpr

Definition at line 96 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::PBPPSettingsWithNormalize::use_card_transformation = true

staticconstexpr

Example for a setting.

Definition at line 85 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::PBPPSettingsWithNormalize::USE_LIA_MIXED = true

staticconstexpr

Definition at line 93 of file PBPPSettings.h.

USE_LIA_ONLY

constexpr bool smtrat::PBPPSettingsWithNormalize::USE_LIA_ONLY = false

staticconstexpr

Definition at line 94 of file PBPPSettings.h.

use_long_transformation

constexpr bool smtrat::PBPPSettingsWithNormalize::use_long_transformation = true

staticconstexpr

Definition at line 87 of file PBPPSettings.h.

use_mixed_transformation

constexpr bool smtrat::PBPPSettingsWithNormalize::use_mixed_transformation = true

staticconstexpr

Definition at line 86 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::PBPPSettingsWithNormalize::use_short_transformation = true

staticconstexpr

Definition at line 88 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:

• smtrat-modules/PBPPModule/PBPPSettings.h