smtrat::IncWidthSettings2 Struct Reference

#include <IncWidthSettings.h>

Inheritance diagram for smtrat::IncWidthSettings2:

Collaboration diagram for smtrat::IncWidthSettings2:

Static Public Attributes
static constexpr auto	moduleName = "IncWidthModule<IncWidthSettings2>"
static constexpr unsigned	max_width = 0
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 bool	exclude_searched_space = false
static constexpr bool	exclude_negative_numbers = true
static constexpr bool	use_icp = false

Detailed Description

Definition at line 43 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::IncWidthSettings1::exclude_searched_space = false

staticconstexprinherited

Definition at line 32 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::IncWidthSettings2::max_width = 0

staticconstexpr

Definition at line 46 of file IncWidthSettings.h.

moduleName

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

staticconstexpr

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