smtrat::cadcells::datastructures::PolyRef Struct Reference

Refers to a polynomial. More...

#include <polynomials.h>

Data Fields
level_t	level
	The level of the polynomial. More...
id_t	id
	The id of the polynomial with respect to its level. More...
level_t	base_level
	The base level of the polynomial. More...

Detailed Description

Refers to a polynomial.

Definition at line 16 of file polynomials.h.

Field Documentation

base_level

level_t smtrat::cadcells::datastructures::PolyRef::base_level

The base level of the polynomial.

Definition at line 22 of file polynomials.h.

id

id_t smtrat::cadcells::datastructures::PolyRef::id

The id of the polynomial with respect to its level.

Definition at line 20 of file polynomials.h.

level

level_t smtrat::cadcells::datastructures::PolyRef::level

The level of the polynomial.

Definition at line 18 of file polynomials.h.

---

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

• smtrat-cadcells/datastructures/polynomials.h