smtrat::PBPPSettingsCardinalityOnly05 Struct Reference

#include <PBPPSettings.h>

Inheritance diagram for smtrat::PBPPSettingsCardinalityOnly05:

Collaboration diagram for smtrat::PBPPSettingsCardinalityOnly05:

Static Public Attributes
static constexpr auto	moduleName = "PBPPModule<PBPPSettingsCardinalityOnly05>"
	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	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	ENCODE_IF_POSSIBLE = false
static constexpr bool	NORMALIZE_CONSTRAINTS = false
static constexpr bool	SPLIT_EQUALITIES = false

Detailed Description

Definition at line 122 of file PBPPSettings.h.

Field Documentation

ENCODE_IF_POSSIBLE

constexpr bool smtrat::PBPPSettingsBase::ENCODE_IF_POSSIBLE = false

staticconstexprinherited

Definition at line 32 of file PBPPSettings.h.

MAX_NEW_RELATIVE_FORMULA_SIZE

constexpr double smtrat::PBPPSettingsCardinalityOnly05::MAX_NEW_RELATIVE_FORMULA_SIZE = 0.5

staticconstexpr

Definition at line 131 of file PBPPSettings.h.

moduleName

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

staticconstexpr

Name of the Module.

Definition at line 125 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::PBPPSettingsCardinalityOnly05::use_card_transformation = true

staticconstexpr

Definition at line 127 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::PBPPSettingsCardinalityOnly05::USE_LIA_MIXED = true

staticconstexpr

Definition at line 132 of file PBPPSettings.h.

USE_LIA_ONLY

constexpr bool smtrat::PBPPSettingsCardinalityOnly05::USE_LIA_ONLY = false

staticconstexpr

Definition at line 133 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