smtrat::cadcells::datastructures::detail::PolyProperties Struct Reference

#include <projections.h>

Collaboration diagram for smtrat::cadcells::datastructures::detail::PolyProperties:

Data Fields
boost::container::flat_map< PolyRef, PolyRef >	res
std::optional< PolyRef >	disc
std::optional< PolyRef >	ldcf
std::vector< PolyRef >	factors_nonconst
boost::container::flat_map< carl::Variable, PolyRef >	derivatives
std::size_t	total_degree = 0
std::vector< std::size_t >	monomial_total_degrees
std::vector< std::size_t >	monomial_degrees

Detailed Description

Definition at line 24 of file projections.h.

Field Documentation

derivatives

boost::container::flat_map<carl::Variable, PolyRef> smtrat::cadcells::datastructures::detail::PolyProperties::derivatives

Definition at line 29 of file projections.h.

disc

std::optional<PolyRef> smtrat::cadcells::datastructures::detail::PolyProperties::disc

Definition at line 26 of file projections.h.

factors_nonconst

std::vector<PolyRef> smtrat::cadcells::datastructures::detail::PolyProperties::factors_nonconst

Definition at line 28 of file projections.h.

ldcf

std::optional<PolyRef> smtrat::cadcells::datastructures::detail::PolyProperties::ldcf

Definition at line 27 of file projections.h.

monomial_degrees

std::vector<std::size_t> smtrat::cadcells::datastructures::detail::PolyProperties::monomial_degrees

Definition at line 32 of file projections.h.

monomial_total_degrees

std::vector<std::size_t> smtrat::cadcells::datastructures::detail::PolyProperties::monomial_total_degrees

Definition at line 31 of file projections.h.

res

boost::container::flat_map<PolyRef, PolyRef> smtrat::cadcells::datastructures::detail::PolyProperties::res

Definition at line 25 of file projections.h.

total_degree

std::size_t smtrat::cadcells::datastructures::detail::PolyProperties::total_degree = 0

Definition at line 30 of file projections.h.

---

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

• smtrat-cadcells/datastructures/projections.h