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

#include <rules_filter.h>

Static Public Attributes

static constexpr bool only_rational_samples = false
 
static constexpr bool only_irreducible_resultants = false
 
static constexpr bool only_if_no_intersections = false
 
static constexpr std::size_t only_if_total_degree_below = 0
 

Detailed Description

Definition at line 197 of file rules_filter.h.

Field Documentation

◆ only_if_no_intersections

constexpr bool smtrat::cadcells::operators::rules::DelineateSettings::only_if_no_intersections = false
staticconstexpr

Definition at line 200 of file rules_filter.h.

◆ only_if_total_degree_below

constexpr std::size_t smtrat::cadcells::operators::rules::DelineateSettings::only_if_total_degree_below = 0
staticconstexpr

Definition at line 201 of file rules_filter.h.

◆ only_irreducible_resultants

constexpr bool smtrat::cadcells::operators::rules::DelineateSettings::only_irreducible_resultants = false
staticconstexpr

Definition at line 199 of file rules_filter.h.

◆ only_rational_samples

constexpr bool smtrat::cadcells::operators::rules::DelineateSettings::only_rational_samples = false
staticconstexpr

Definition at line 198 of file rules_filter.h.

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