smtrat::PBPPSettingsWithRNS Struct Reference

#include <PBPPSettings.h>

Inheritance diagram for smtrat::PBPPSettingsWithRNS:

Collaboration diagram for smtrat::PBPPSettingsWithRNS:

Static Public Attributes
static constexpr auto	moduleName = "PBPPModule<PBPPSettingsWithRNS>"
	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 210 of file PBPPSettings.h.

Field Documentation

ENCODE_IF_POSSIBLE

constexpr bool smtrat::PBPPSettingsWithRNS::ENCODE_IF_POSSIBLE = true

staticconstexpr

Definition at line 222 of file PBPPSettings.h.

MAX_NEW_RELATIVE_FORMULA_SIZE

constexpr double smtrat::PBPPSettingsWithRNS::MAX_NEW_RELATIVE_FORMULA_SIZE = 0.5

staticconstexpr

Definition at line 219 of file PBPPSettings.h.

moduleName

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

staticconstexpr

Name of the Module.

Definition at line 213 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::PBPPSettingsWithRNS::use_card_transformation = true

staticconstexpr

Definition at line 215 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::PBPPSettingsWithRNS::USE_LIA_MIXED = true

staticconstexpr

Definition at line 220 of file PBPPSettings.h.

USE_LIA_ONLY

constexpr bool smtrat::PBPPSettingsWithRNS::USE_LIA_ONLY = false

staticconstexpr

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

• smtrat-modules/PBPPModule/PBPPSettings.h