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

Represents a cell. More...

#include <representation.h>

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

Public Member Functions
	CellRepresentation (SampledDerivationRef< P > &deriv)

Data Fields
SymbolicInterval	description
	Description of a cell. More...
boost::container::flat_set< PolyRef >	ordering_polys
	Polys considered in the indexed root ordering. More...
boost::container::flat_set< PolyRef >	ordering_non_projective_polys
	Polys that are considered "non-projectively" in the ordering. More...
IndexedRootOrdering	ordering
	An ordering on the roots that protects the cell. More...
boost::container::flat_set< PolyRef >	equational
	Polynomials that should be projected using the equational constraints projection. More...
SampledDerivationRef< P >	derivation
	Derivation. More...

Detailed Description

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

Represents a cell.

Definition at line 13 of file representation.h.

Constructor & Destructor Documentation

CellRepresentation()

template<typename P >

smtrat::cadcells::datastructures::CellRepresentation< P >::CellRepresentation ( SampledDerivationRef< P > &  deriv )

inline

Definition at line 27 of file representation.h.

Field Documentation

derivation

template<typename P >

SampledDerivationRef<P> smtrat::cadcells::datastructures::CellRepresentation< P >::derivation

Derivation.

Definition at line 25 of file representation.h.

description

template<typename P >

SymbolicInterval smtrat::cadcells::datastructures::CellRepresentation< P >::description

Description of a cell.

Definition at line 15 of file representation.h.

equational

template<typename P >

boost::container::flat_set<PolyRef> smtrat::cadcells::datastructures::CellRepresentation< P >::equational

Polynomials that should be projected using the equational constraints projection.

Definition at line 23 of file representation.h.

ordering

template<typename P >

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

An ordering on the roots that protects the cell.

Definition at line 21 of file representation.h.

ordering_non_projective_polys

template<typename P >

boost::container::flat_set<PolyRef> smtrat::cadcells::datastructures::CellRepresentation< P >::ordering_non_projective_polys

Polys that are considered "non-projectively" in the ordering.

Definition at line 19 of file representation.h.

ordering_polys

template<typename P >

boost::container::flat_set<PolyRef> smtrat::cadcells::datastructures::CellRepresentation< P >::ordering_polys

Polys considered in the indexed root ordering.

Definition at line 17 of file representation.h.

---

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

• smtrat-cadcells/datastructures/representation.h