SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
smtrat::cadcells::representation::approximation::ApxSettings Struct Reference

#include <ApproximationSettings.h>

Data Fields

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)
 

Static Public Attributes

static constexpr ApxPoly bound = ApxPoly::SIMPLE
 
static constexpr ApxPoly between = ApxPoly::SIMPLE
 
static constexpr ApxRoot root = ApxRoot::SIMPLE_REPRESENTATION
 

Detailed Description

Definition at line 7 of file ApproximationSettings.h.

Field Documentation

◆ between

constexpr ApxPoly smtrat::cadcells::representation::approximation::ApxSettings::between = ApxPoly::SIMPLE
staticconstexpr

Definition at line 9 of file ApproximationSettings.h.

◆ bound

constexpr ApxPoly smtrat::cadcells::representation::approximation::ApxSettings::bound = ApxPoly::SIMPLE
staticconstexpr

Definition at line 8 of file ApproximationSettings.h.

◆ crit_apx_count_enabled

const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_apx_count_enabled = settings_module().get("apx_count_enabled", true)

Definition at line 28 of file ApproximationSettings.h.

◆ crit_considered_count_enabled

const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_considered_count_enabled = settings_module().get("apx_considered_enabled", false)

Definition at line 27 of file ApproximationSettings.h.

◆ 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)

Definition at line 24 of file ApproximationSettings.h.

◆ crit_involved_count_enabled

const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_involved_count_enabled = settings_module().get("apx_involved_count_enabled", false)

Definition at line 32 of file ApproximationSettings.h.

◆ crit_level_enabled

const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_level_enabled = settings_module().get("apx_level_enabled", false)

Definition at line 26 of file ApproximationSettings.h.

◆ 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)

Definition at line 21 of file ApproximationSettings.h.

◆ 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)

Definition at line 23 of file ApproximationSettings.h.

◆ 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)

Definition at line 20 of file ApproximationSettings.h.

◆ 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)

Definition at line 22 of file ApproximationSettings.h.

◆ crit_pair_degree_enabled

const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_pair_degree_enabled = settings_module().get("apx_pair_degree_enabled", false)

Definition at line 30 of file ApproximationSettings.h.

◆ 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)

Definition at line 31 of file ApproximationSettings.h.

◆ crit_side_degree_enabled

const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_side_degree_enabled = settings_module().get("apx_side_degree_enabled", false)

Definition at line 33 of file ApproximationSettings.h.

◆ crit_single_degree_enabled

const bool smtrat::cadcells::representation::approximation::ApxSettings::crit_single_degree_enabled = settings_module().get("apx_single_degree_enabled", true)

Definition at line 29 of file ApproximationSettings.h.

◆ 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)

Definition at line 14 of file ApproximationSettings.h.

◆ 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)

Definition at line 16 of file ApproximationSettings.h.

◆ root

constexpr ApxRoot smtrat::cadcells::representation::approximation::ApxSettings::root = ApxRoot::SIMPLE_REPRESENTATION
staticconstexpr

Definition at line 10 of file ApproximationSettings.h.

◆ root_ratio_lower

const double smtrat::cadcells::representation::approximation::ApxSettings::root_ratio_lower = settings_module().get("apx_root_ratio_l", (double)0.75)

Definition at line 17 of file ApproximationSettings.h.

◆ root_ratio_upper

const double smtrat::cadcells::representation::approximation::ApxSettings::root_ratio_upper = settings_module().get("apx_root_ratio_u", (double)0.875)

Definition at line 18 of file ApproximationSettings.h.

◆ taylor_deg

const std::size_t smtrat::cadcells::representation::approximation::ApxSettings::taylor_deg = settings_module().get("apx_taylor_deg", (std::size_t)1)

Definition at line 12 of file ApproximationSettings.h.


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