smtrat::ICPSettings1 Struct Reference

#include <ICPSettings.h>

Inheritance diagram for smtrat::ICPSettings1:

Static Public Attributes
static constexpr auto	moduleName = "ICPModule<ICPSettings1>"
static constexpr double	target_diameter_nia = 0.1
static constexpr double	target_diameter_nra = 0.01
static constexpr double	contraction_threshold_nia = 0.01
static constexpr double	contraction_threshold_nra = 0.001
static constexpr double	default_splitting_size_nia = 16
static constexpr double	default_splitting_size_nra = 1000
static constexpr SplittingHeuristic	splitting_heuristic_nia = SplittingHeuristic::SIZE
static constexpr SplittingHeuristic	splitting_heuristic_nra = SplittingHeuristic::SIZE
static constexpr size_t	number_of_reusages_after_target_diameter_reached = 1
static constexpr bool	first_split_to_bounded_intervals_without_zero = true
static constexpr bool	prolong_contraction = true
static constexpr bool	original_polynomial_contraction = false
static constexpr bool	use_propagation = true
static constexpr bool	split_by_division_with_zero = true
static constexpr bool	just_contraction = false

Detailed Description

Definition at line 17 of file ICPSettings.h.

Field Documentation

contraction_threshold_nia

constexpr double smtrat::ICPSettings1::contraction_threshold_nia = 0.01

staticconstexpr

Definition at line 31 of file ICPSettings.h.

contraction_threshold_nra

constexpr double smtrat::ICPSettings1::contraction_threshold_nra = 0.001

staticconstexpr

Definition at line 35 of file ICPSettings.h.

default_splitting_size_nia

constexpr double smtrat::ICPSettings1::default_splitting_size_nia = 16

staticconstexpr

Definition at line 39 of file ICPSettings.h.

default_splitting_size_nra

constexpr double smtrat::ICPSettings1::default_splitting_size_nra = 1000

staticconstexpr

Definition at line 43 of file ICPSettings.h.

first_split_to_bounded_intervals_without_zero

constexpr bool smtrat::ICPSettings1::first_split_to_bounded_intervals_without_zero = true

staticconstexpr

Definition at line 59 of file ICPSettings.h.

just_contraction

constexpr bool smtrat::ICPSettings1::just_contraction = false

staticconstexpr

Definition at line 79 of file ICPSettings.h.

moduleName

constexpr auto smtrat::ICPSettings1::moduleName = "ICPModule<ICPSettings1>"

staticconstexpr

Definition at line 19 of file ICPSettings.h.

number_of_reusages_after_target_diameter_reached

constexpr size_t smtrat::ICPSettings1::number_of_reusages_after_target_diameter_reached = 1

staticconstexpr

Definition at line 55 of file ICPSettings.h.

original_polynomial_contraction

constexpr bool smtrat::ICPSettings1::original_polynomial_contraction = false

staticconstexpr

Definition at line 67 of file ICPSettings.h.

prolong_contraction

constexpr bool smtrat::ICPSettings1::prolong_contraction = true

staticconstexpr

Definition at line 63 of file ICPSettings.h.

split_by_division_with_zero

constexpr bool smtrat::ICPSettings1::split_by_division_with_zero = true

staticconstexpr

Definition at line 75 of file ICPSettings.h.

splitting_heuristic_nia

constexpr SplittingHeuristic smtrat::ICPSettings1::splitting_heuristic_nia = SplittingHeuristic::SIZE

staticconstexpr

Definition at line 47 of file ICPSettings.h.

splitting_heuristic_nra

constexpr SplittingHeuristic smtrat::ICPSettings1::splitting_heuristic_nra = SplittingHeuristic::SIZE

staticconstexpr

Definition at line 51 of file ICPSettings.h.

target_diameter_nia

constexpr double smtrat::ICPSettings1::target_diameter_nia = 0.1

staticconstexpr

Definition at line 23 of file ICPSettings.h.

target_diameter_nra

constexpr double smtrat::ICPSettings1::target_diameter_nra = 0.01

staticconstexpr

Definition at line 27 of file ICPSettings.h.

use_propagation

constexpr bool smtrat::ICPSettings1::use_propagation = true

staticconstexpr

Definition at line 71 of file ICPSettings.h.

---

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

• smtrat-modules/ICPModule/ICPSettings.h