smtrat::CSplitSettings1 Struct Reference

#include <CSplitSettings.h>

Static Public Attributes
static constexpr auto	moduleName = "CSplitModule<CSplitSettings1>"
	Name of the Module. More...
static constexpr size_t	maxDomainSize = 32
	Limit size for the domain of variables that need to be expanded. More...
static constexpr size_t	expansionBase = 32
	Base number 2 <= expansionBase <= maxDomainSize for the expansion. More...
static constexpr size_t	discrDenom = 16
	Common denominator for the discretization of rational variables. More...
static constexpr size_t	maxIter = 400
	Maximum number of iterations before returning unknown. More...
static constexpr size_t	initialRadius = 1
	Radius of initial variable domains. More...
static constexpr size_t	thresholdRadius = 5
	Threshold radius to. More...
static constexpr size_t	maximalRadius = 300
	Maximal radius of domain that still gets bloated. More...
static constexpr size_t	maxBloatedDomains = 5
	Maximal number of bounds to bloat in one iteration. More...

Detailed Description

Definition at line 13 of file CSplitSettings.h.

Field Documentation

discrDenom

constexpr size_t smtrat::CSplitSettings1::discrDenom = 16

staticconstexpr

Common denominator for the discretization of rational variables.

Definition at line 22 of file CSplitSettings.h.

expansionBase

constexpr size_t smtrat::CSplitSettings1::expansionBase = 32

staticconstexpr

Base number 2 <= expansionBase <= maxDomainSize for the expansion.

Definition at line 20 of file CSplitSettings.h.

initialRadius

constexpr size_t smtrat::CSplitSettings1::initialRadius = 1

staticconstexpr

Radius of initial variable domains.

Definition at line 26 of file CSplitSettings.h.

maxBloatedDomains

constexpr size_t smtrat::CSplitSettings1::maxBloatedDomains = 5

staticconstexpr

Maximal number of bounds to bloat in one iteration.

Definition at line 34 of file CSplitSettings.h.

maxDomainSize

constexpr size_t smtrat::CSplitSettings1::maxDomainSize = 32

staticconstexpr

Limit size for the domain of variables that need to be expanded.

Definition at line 18 of file CSplitSettings.h.

maximalRadius

constexpr size_t smtrat::CSplitSettings1::maximalRadius = 300

staticconstexpr

Maximal radius of domain that still gets bloated.

Definition at line 32 of file CSplitSettings.h.

maxIter

constexpr size_t smtrat::CSplitSettings1::maxIter = 400

staticconstexpr

Maximum number of iterations before returning unknown.

Definition at line 24 of file CSplitSettings.h.

moduleName

constexpr auto smtrat::CSplitSettings1::moduleName = "CSplitModule<CSplitSettings1>"

staticconstexpr

Name of the Module.

Definition at line 16 of file CSplitSettings.h.

thresholdRadius

constexpr size_t smtrat::CSplitSettings1::thresholdRadius = 5

staticconstexpr

Threshold radius to.

• start exponential bloating of vaiables used for case splits
• activate full domains of variables not used for case splits

Definition at line 30 of file CSplitSettings.h.

---

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

• smtrat-modules/CSplitModule/CSplitSettings.h