smtrat::IncWidthSettings1 Struct Reference

#include <IncWidthSettings.h>

Inheritance diagram for smtrat::IncWidthSettings1:

Static Public Attributes
static constexpr auto	moduleName = "IncWidthModule<IncWidthSettings1>"
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_searched_space = false
static constexpr bool	exclude_negative_numbers = true
static constexpr bool	use_icp = false

Detailed Description

Definition at line 14 of file IncWidthSettings.h.

Field Documentation

exclude_negative_numbers

constexpr bool smtrat::IncWidthSettings1::exclude_negative_numbers = true

staticconstexpr

Definition at line 36 of file IncWidthSettings.h.

exclude_searched_space

constexpr bool smtrat::IncWidthSettings1::exclude_searched_space = false

staticconstexpr

Definition at line 32 of file IncWidthSettings.h.

increment

constexpr unsigned smtrat::IncWidthSettings1::increment = 2

staticconstexpr

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

staticconstexpr

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::IncWidthSettings1::moduleName = "IncWidthModule<IncWidthSettings1>"

staticconstexpr

Definition at line 16 of file IncWidthSettings.h.

start_width

constexpr unsigned smtrat::IncWidthSettings1::start_width = 1

staticconstexpr

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

staticconstexpr

Definition at line 40 of file IncWidthSettings.h.

---

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

• smtrat-modules/IncWidthModule/IncWidthSettings.h