smtrat::cadcells::datastructures::CoveringDescription Class Reference

Describes a covering of the real line by SymbolicIntervals (given an appropriate sample). More...

#include <roots.h>

Collaboration diagram for smtrat::cadcells::datastructures::CoveringDescription:

Public Member Functions
void	add (const SymbolicInterval &c)
	Add a SymbolicInterval to the covering. More...
const auto &	cells () const

Private Attributes
std::vector< SymbolicInterval >	m_data

Detailed Description

Describes a covering of the real line by SymbolicIntervals (given an appropriate sample).

Definition at line 342 of file roots.h.

Member Function Documentation

add()

void smtrat::cadcells::datastructures::CoveringDescription::add ( const SymbolicInterval &  c )

inline

Add a SymbolicInterval to the covering.

The added cell needs to be the rightmost cell of the already added cells and not be contained in any of these cells (or vice versa).

• The first cell needs to have -oo as left bound.
• The last cell needs to have oo as right bound.
• All cells need to cover the real line under an appropriate sample.
• Evaluated under an appropriate sample, the left bound of the added cell c is strictly greater than the left bounds of already added cells (considering also "strictness" of the bounds).
• The right bound of the added cell c needs to be greater than all right bounds of already added cells (considering also "strictness" of the bounds).

Definition at line 357 of file roots.h.

Here is the call graph for this function:

Here is the caller graph for this function:

cells()

const auto& smtrat::cadcells::datastructures::CoveringDescription::cells ( ) const

inline

Definition at line 364 of file roots.h.

Here is the caller graph for this function:

Field Documentation

m_data

std::vector<SymbolicInterval> smtrat::cadcells::datastructures::CoveringDescription::m_data

private

Definition at line 343 of file roots.h.

---

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

• smtrat-cadcells/datastructures/roots.h