smtrat::cadcells::datastructures::CompoundMinMax Struct Reference

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

#include <roots.h>

Collaboration diagram for smtrat::cadcells::datastructures::CompoundMinMax:

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 minimum function of the contained indexed root functions.

Definition at line 54 of file roots.h.

Member Function Documentation

polys()

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

inline

Definition at line 56 of file roots.h.

Field Documentation

bounds

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

Definition at line 63 of file roots.h.

roots

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

Definition at line 55 of file roots.h.

---

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

• smtrat-cadcells/datastructures/roots.h