smtrat::PBPPSettingsCardinalityOnly20 Struct Reference

#include <PBPPSettings.h>

Inheritance diagram for smtrat::PBPPSettingsCardinalityOnly20:

Collaboration diagram for smtrat::PBPPSettingsCardinalityOnly20:

Static Public Attributes
static constexpr auto	moduleName = "PBPPModule<PBPPSettingsCardinalityOnly20>"
	Name of the Module. More...
static constexpr bool	use_rns_transformation = false
	Example for a setting. More...
static constexpr bool	use_card_transformation = true
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 double	MAX_NEW_RELATIVE_FORMULA_SIZE = 20
static constexpr bool	USE_LIA_MIXED = true
static constexpr bool	USE_LIA_ONLY = 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 99 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::PBPPSettingsCardinalityOnly20::MAX_NEW_RELATIVE_FORMULA_SIZE = 20

staticconstexpr

Definition at line 115 of file PBPPSettings.h.

moduleName

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

staticconstexpr

Name of the Module.

Definition at line 102 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::PBPPSettingsCardinalityOnly20::use_card_transformation = true

staticconstexpr

Definition at line 107 of file PBPPSettings.h.

use_commander_transformation

constexpr bool smtrat::PBPPSettingsCardinalityOnly20::use_commander_transformation = false

staticconstexpr

Definition at line 111 of file PBPPSettings.h.

USE_LIA_MIXED

constexpr bool smtrat::PBPPSettingsCardinalityOnly20::USE_LIA_MIXED = true

staticconstexpr

Definition at line 116 of file PBPPSettings.h.

USE_LIA_ONLY

constexpr bool smtrat::PBPPSettingsCardinalityOnly20::USE_LIA_ONLY = false

staticconstexpr

Definition at line 117 of file PBPPSettings.h.

use_long_transformation

constexpr bool smtrat::PBPPSettingsCardinalityOnly20::use_long_transformation = false

staticconstexpr

Definition at line 109 of file PBPPSettings.h.

use_mixed_transformation

constexpr bool smtrat::PBPPSettingsCardinalityOnly20::use_mixed_transformation = false

staticconstexpr

Definition at line 108 of file PBPPSettings.h.

use_rns_transformation

constexpr bool smtrat::PBPPSettingsCardinalityOnly20::use_rns_transformation = false

staticconstexpr

Example for a setting.

Definition at line 106 of file PBPPSettings.h.

use_short_transformation

constexpr bool smtrat::PBPPSettingsCardinalityOnly20::use_short_transformation = false

staticconstexpr

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