smtrat::cadcells::datastructures::PolyPool::Element Struct Reference

Inheritance diagram for smtrat::cadcells::datastructures::PolyPool::Element:

Collaboration diagram for smtrat::cadcells::datastructures::PolyPool::Element:

Public Member Functions
	Element (Polynomial &&p, id_t i)

Data Fields
Polynomial	poly
id_t	id

Friends
bool	operator< (const Element &e1, const Element &e2)

Detailed Description

Definition at line 72 of file polynomials.h.

Constructor & Destructor Documentation

Element()

smtrat::cadcells::datastructures::PolyPool::Element::Element ( Polynomial &&  p, id_t  i  )

inline

Definition at line 75 of file polynomials.h.

Friends And Related Function Documentation

operator<

bool operator< ( const Element &  e1, const Element &  e2  )

friend

Definition at line 76 of file polynomials.h.

Field Documentation

id

id_t smtrat::cadcells::datastructures::PolyPool::Element::id

Definition at line 74 of file polynomials.h.

poly

Polynomial smtrat::cadcells::datastructures::PolyPool::Element::poly

Definition at line 73 of file polynomials.h.

---

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

• smtrat-cadcells/datastructures/polynomials.h