SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Static Public Attributes
smtrat::ICPSettings2 Struct Reference

#include <ICPSettings.h>

Inheritance diagram for smtrat::ICPSettings2:
Inheritance graph
[legend]
Collaboration diagram for smtrat::ICPSettings2:
Collaboration graph
[legend]

Static Public Attributes

static constexpr auto moduleName = "ICPModule<ICPSettings2>"
 
static constexpr double default_splitting_size_nia = 100
 
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_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 83 of file ICPSettings.h.

Field Documentation

◆ contraction_threshold_nia

constexpr double smtrat::ICPSettings1::contraction_threshold_nia = 0.01
staticconstexprinherited

Definition at line 31 of file ICPSettings.h.

◆ contraction_threshold_nra

constexpr double smtrat::ICPSettings1::contraction_threshold_nra = 0.001
staticconstexprinherited

Definition at line 35 of file ICPSettings.h.

◆ default_splitting_size_nia

constexpr double smtrat::ICPSettings2::default_splitting_size_nia = 100
staticconstexpr

Definition at line 86 of file ICPSettings.h.

◆ default_splitting_size_nra

constexpr double smtrat::ICPSettings1::default_splitting_size_nra = 1000
staticconstexprinherited

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
staticconstexprinherited

Definition at line 59 of file ICPSettings.h.

◆ just_contraction

constexpr bool smtrat::ICPSettings1::just_contraction = false
staticconstexprinherited

Definition at line 79 of file ICPSettings.h.

◆ moduleName

constexpr auto smtrat::ICPSettings2::moduleName = "ICPModule<ICPSettings2>"
staticconstexpr

Definition at line 85 of file ICPSettings.h.

◆ number_of_reusages_after_target_diameter_reached

constexpr size_t smtrat::ICPSettings1::number_of_reusages_after_target_diameter_reached = 1
staticconstexprinherited

Definition at line 55 of file ICPSettings.h.

◆ original_polynomial_contraction

constexpr bool smtrat::ICPSettings1::original_polynomial_contraction = false
staticconstexprinherited

Definition at line 67 of file ICPSettings.h.

◆ prolong_contraction

constexpr bool smtrat::ICPSettings1::prolong_contraction = true
staticconstexprinherited

Definition at line 63 of file ICPSettings.h.

◆ split_by_division_with_zero

constexpr bool smtrat::ICPSettings1::split_by_division_with_zero = true
staticconstexprinherited

Definition at line 75 of file ICPSettings.h.

◆ splitting_heuristic_nia

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

Definition at line 47 of file ICPSettings.h.

◆ splitting_heuristic_nra

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

Definition at line 51 of file ICPSettings.h.

◆ target_diameter_nia

constexpr double smtrat::ICPSettings1::target_diameter_nia = 0.1
staticconstexprinherited

Definition at line 23 of file ICPSettings.h.

◆ target_diameter_nra

constexpr double smtrat::ICPSettings1::target_diameter_nra = 0.01
staticconstexprinherited

Definition at line 27 of file ICPSettings.h.

◆ use_propagation

constexpr bool smtrat::ICPSettings1::use_propagation = true
staticconstexprinherited

Definition at line 71 of file ICPSettings.h.

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