#include <ApproximationSettings.h>
|
const std::size_t | taylor_deg = settings_module().get("apx_taylor_deg", (std::size_t)1) |
|
const std::size_t | maximize_n_iter = settings_module().get("apx_maximize_iter", (std::size_t)5) |
|
const std::size_t | n_sb_iterations = settings_module().get("apx_sb_iter", (std::size_t)2) |
|
const double | root_ratio_lower = settings_module().get("apx_root_ratio_l", (double)0.75) |
|
const double | root_ratio_upper = settings_module().get("apx_root_ratio_u", (double)0.875) |
|
const std::size_t | crit_max_considered = settings_module().get("apx_max_considered", (std::size_t)20) |
|
const std::size_t | crit_max_apx = settings_module().get("apx_max_apx", (std::size_t)50) |
|
const std::size_t | crit_max_constraint_involved = settings_module().get("apx_max_involved", (std::size_t)5) |
|
const std::size_t | crit_max_apx_per_poly = settings_module().get("apx_max_app", (std::size_t)5) |
|
const std::size_t | crit_degree_threshold = settings_module().get("apx_deg_threshold", (std::size_t)5) |
|
const bool | crit_level_enabled = settings_module().get("apx_level_enabled", false) |
|
const bool | crit_considered_count_enabled = settings_module().get("apx_considered_enabled", false) |
|
const bool | crit_apx_count_enabled = settings_module().get("apx_count_enabled", true) |
|
const bool | crit_single_degree_enabled = settings_module().get("apx_single_degree_enabled", true) |
|
const bool | crit_pair_degree_enabled = settings_module().get("apx_pair_degree_enabled", false) |
|
const bool | crit_poly_apx_count_enabled = settings_module().get("apx_poly_count_enabled", false) |
|
const bool | crit_involved_count_enabled = settings_module().get("apx_involved_count_enabled", false) |
|
const bool | crit_side_degree_enabled = settings_module().get("apx_side_degree_enabled", false) |
|
Definition at line 7 of file ApproximationSettings.h.
◆ between
constexpr ApxPoly smtrat::cadcells::representation::approximation::ApxSettings::between = ApxPoly::SIMPLE |
|
staticconstexpr |
◆ bound
constexpr ApxPoly smtrat::cadcells::representation::approximation::ApxSettings::bound = ApxPoly::SIMPLE |
|
staticconstexpr |
◆ crit_apx_count_enabled
const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_apx_count_enabled = settings_module().get("apx_count_enabled", true) |
◆ crit_considered_count_enabled
const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_considered_count_enabled = settings_module().get("apx_considered_enabled", false) |
◆ crit_degree_threshold
const std::size_t smtrat::cadcells::representation::approximation::ApxSettings::crit_degree_threshold = settings_module().get("apx_deg_threshold", (std::size_t)5) |
◆ crit_involved_count_enabled
const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_involved_count_enabled = settings_module().get("apx_involved_count_enabled", false) |
◆ crit_level_enabled
const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_level_enabled = settings_module().get("apx_level_enabled", false) |
◆ crit_max_apx
const std::size_t smtrat::cadcells::representation::approximation::ApxSettings::crit_max_apx = settings_module().get("apx_max_apx", (std::size_t)50) |
◆ crit_max_apx_per_poly
const std::size_t smtrat::cadcells::representation::approximation::ApxSettings::crit_max_apx_per_poly = settings_module().get("apx_max_app", (std::size_t)5) |
◆ crit_max_considered
const std::size_t smtrat::cadcells::representation::approximation::ApxSettings::crit_max_considered = settings_module().get("apx_max_considered", (std::size_t)20) |
◆ crit_max_constraint_involved
const std::size_t smtrat::cadcells::representation::approximation::ApxSettings::crit_max_constraint_involved = settings_module().get("apx_max_involved", (std::size_t)5) |
◆ crit_pair_degree_enabled
const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_pair_degree_enabled = settings_module().get("apx_pair_degree_enabled", false) |
◆ crit_poly_apx_count_enabled
const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_poly_apx_count_enabled = settings_module().get("apx_poly_count_enabled", false) |
◆ crit_side_degree_enabled
const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_side_degree_enabled = settings_module().get("apx_side_degree_enabled", false) |
◆ crit_single_degree_enabled
const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_single_degree_enabled = settings_module().get("apx_single_degree_enabled", true) |
◆ maximize_n_iter
const std::size_t smtrat::cadcells::representation::approximation::ApxSettings::maximize_n_iter = settings_module().get("apx_maximize_iter", (std::size_t)5) |
◆ n_sb_iterations
const std::size_t smtrat::cadcells::representation::approximation::ApxSettings::n_sb_iterations = settings_module().get("apx_sb_iter", (std::size_t)2) |
◆ root
constexpr ApxRoot smtrat::cadcells::representation::approximation::ApxSettings::root = ApxRoot::SIMPLE_REPRESENTATION |
|
staticconstexpr |
◆ root_ratio_lower
const double smtrat::cadcells::representation::approximation::ApxSettings::root_ratio_lower = settings_module().get("apx_root_ratio_l", (double)0.75) |
◆ root_ratio_upper
const double smtrat::cadcells::representation::approximation::ApxSettings::root_ratio_upper = settings_module().get("apx_root_ratio_u", (double)0.875) |
◆ taylor_deg
const std::size_t smtrat::cadcells::representation::approximation::ApxSettings::taylor_deg = settings_module().get("apx_taylor_deg", (std::size_t)1) |
The documentation for this struct was generated from the following file: