smtrat::cadcells::datastructures::CompoundMaxMin Struct Reference

Represents the maximum function of the contained indexed root functions. More...

#include <roots.h>

Collaboration diagram for smtrat::cadcells::datastructures::CompoundMaxMin:

Public Member Functions
void	polys (boost::container::flat_set< PolyRef > &result) const

Data Fields
std::vector< std::vector< IndexedRoot > >	roots
std::optional< PiecewiseLinearInfo >	bounds

Detailed Description

Represents the maximum function of the contained indexed root functions.

Definition at line 82 of file roots.h.

Member Function Documentation

polys()

void smtrat::cadcells::datastructures::CompoundMaxMin::polys ( boost::container::flat_set< PolyRef > &  result ) const

inline

Definition at line 84 of file roots.h.

Field Documentation

bounds

std::optional<PiecewiseLinearInfo> smtrat::cadcells::datastructures::CompoundMaxMin::bounds

Definition at line 91 of file roots.h.

roots

std::vector<std::vector<IndexedRoot> > smtrat::cadcells::datastructures::CompoundMaxMin::roots

Definition at line 83 of file roots.h.

---

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

• smtrat-cadcells/datastructures/roots.h