smtrat::cadcells::datastructures::CoveringRepresentation< P > Struct Template Reference

Represents a covering over a cell. More...

#include <representation.h>

Collaboration diagram for smtrat::cadcells::datastructures::CoveringRepresentation< P >:

Public Member Functions
CoveringDescription	get_covering () const
	Returns a descriptions of the covering. More...
std::vector< SampledDerivationRef< P > >	sampled_derivations ()
	Returns the derivations. More...
bool	is_valid () const
	Checks whether this represents a proper non-redundant covering. More...

Data Fields
std::vector< CellRepresentation< P > >	cells
	Cells of the covering in increasing order and no cell is contained in another cell. More...
IndexedRootOrdering	ordering
	An ordering on the roots for the cell boundaries mainting the covering. More...

Detailed Description

template<typename P>
struct smtrat::cadcells::datastructures::CoveringRepresentation< P >

Represents a covering over a cell.

The cells forming the covering are in increasing order (ordered by lower bound) and no cell is contained in another cell.

Definition at line 42 of file representation.h.

Member Function Documentation

get_covering()

template<typename P >

CoveringDescription smtrat::cadcells::datastructures::CoveringRepresentation< P >::get_covering ( ) const

inline

Returns a descriptions of the covering.

Definition at line 48 of file representation.h.

Here is the call graph for this function:

Here is the caller graph for this function:

is_valid()

template<typename P >

bool smtrat::cadcells::datastructures::CoveringRepresentation< P >::is_valid ( ) const

inline

Checks whether this represents a proper non-redundant covering.

Definition at line 66 of file representation.h.

Here is the call graph for this function:

Here is the caller graph for this function:

sampled_derivations()

template<typename P >

std::vector<SampledDerivationRef<P> > smtrat::cadcells::datastructures::CoveringRepresentation< P >::sampled_derivations ( )

inline

Returns the derivations.

Definition at line 57 of file representation.h.

Field Documentation

cells

template<typename P >

std::vector<CellRepresentation<P> > smtrat::cadcells::datastructures::CoveringRepresentation< P >::cells

Cells of the covering in increasing order and no cell is contained in another cell.

Definition at line 44 of file representation.h.

ordering

template<typename P >

IndexedRootOrdering smtrat::cadcells::datastructures::CoveringRepresentation< P >::ordering

An ordering on the roots for the cell boundaries mainting the covering.

Definition at line 46 of file representation.h.

---

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

• smtrat-cadcells/datastructures/representation.h