smtrat::cadcells::datastructures::PolyPool::element_less Struct Reference

Public Member Functions
bool	operator() (const Polynomial &poly, const Element &element) const
bool	operator() (const Element &element, const Polynomial &poly) const

Detailed Description

Definition at line 80 of file polynomials.h.

Member Function Documentation

operator()() [1/2]

bool smtrat::cadcells::datastructures::PolyPool::element_less::operator() ( const Element &  element, const Polynomial &  poly  ) const

inline

Definition at line 84 of file polynomials.h.

operator()() [2/2]

bool smtrat::cadcells::datastructures::PolyPool::element_less::operator() ( const Polynomial &  poly, const Element &  element  ) const

inline

Definition at line 81 of file polynomials.h.

---

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

• smtrat-cadcells/datastructures/polynomials.h