smtrat::IncWidthSettings3 Struct Reference

#include <IncWidthSettings.h>

Inheritance diagram for smtrat::IncWidthSettings3:

Collaboration diagram for smtrat::IncWidthSettings3:

Static Public Attributes
static constexpr auto	moduleName = "IncWidthModule<IncWidthSettings3>"
static constexpr bool	exclude_searched_space = false
static constexpr unsigned	increment = 2
	The increment of the width of the intervals specifying the variable domains. More...
static constexpr unsigned	start_width = 1
	The half of the starting width of the intervals specifying the variable domains. More...
static constexpr unsigned	max_width = 4
	The half of the maximal width of the intervals specifying the variable domains. More...
static constexpr bool	exclude_negative_numbers = true
static constexpr bool	use_icp = false

Detailed Description

Definition at line 49 of file IncWidthSettings.h.

Field Documentation

exclude_negative_numbers

constexpr bool smtrat::IncWidthSettings1::exclude_negative_numbers = true

staticconstexprinherited

Definition at line 36 of file IncWidthSettings.h.

exclude_searched_space

constexpr bool smtrat::IncWidthSettings3::exclude_searched_space = false

staticconstexpr

Definition at line 52 of file IncWidthSettings.h.

increment

constexpr unsigned smtrat::IncWidthSettings1::increment = 2

staticconstexprinherited

The increment of the width of the intervals specifying the variable domains.

Definition at line 20 of file IncWidthSettings.h.

max_width

constexpr unsigned smtrat::IncWidthSettings1::max_width = 4

staticconstexprinherited

The half of the maximal width of the intervals specifying the variable domains.

Definition at line 28 of file IncWidthSettings.h.

moduleName

constexpr auto smtrat::IncWidthSettings3::moduleName = "IncWidthModule<IncWidthSettings3>"

staticconstexpr

Definition at line 51 of file IncWidthSettings.h.

start_width

constexpr unsigned smtrat::IncWidthSettings1::start_width = 1

staticconstexprinherited

The half of the starting width of the intervals specifying the variable domains.

Starting interval domains are then: [-half_of_start_width,half_of_start_width]

Definition at line 24 of file IncWidthSettings.h.

use_icp

constexpr bool smtrat::IncWidthSettings1::use_icp = false

staticconstexprinherited

Definition at line 40 of file IncWidthSettings.h.

---

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

• smtrat-modules/IncWidthModule/IncWidthSettings.h