SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Data Fields
smtrat::cadcells::representation::util::PolyDelineation Struct Reference

Polynomial decomposition. More...

#include <util.h>

Data Fields

boost::container::flat_set< std::size_t > delineated_roots
 
std::size_t critical_lower_root = 0
 
std::size_t critical_upper_root = 0
 

Detailed Description

Polynomial decomposition.

Definition at line 345 of file util.h.

Field Documentation

◆ critical_lower_root

std::size_t smtrat::cadcells::representation::util::PolyDelineation::critical_lower_root = 0

Definition at line 347 of file util.h.

◆ critical_upper_root

std::size_t smtrat::cadcells::representation::util::PolyDelineation::critical_upper_root = 0

Definition at line 348 of file util.h.

◆ delineated_roots

boost::container::flat_set<std::size_t> smtrat::cadcells::representation::util::PolyDelineation::delineated_roots

Definition at line 346 of file util.h.

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