smtrat::cad::ProjectionLevelInformation::EquationalConstraints Struct Reference

Collaboration diagram for smtrat::cad::ProjectionLevelInformation::EquationalConstraints:

Public Member Functions
std::size_t	addEC ()
	Add a poly to the respective origin. More...
void	addPolyToEC (std::size_t id, std::size_t pid)
bool	hasEC () const
std::size_t	count () const
const auto &	getEC (std::size_t ecid) const
auto &	getEC (std::size_t ecid)

Private Attributes
std::vector< EquationalConstraint >	mData
	A list of all ECs in this level, identified by their origin. More...

Detailed Description

Definition at line 64 of file ProjectionInformation.h.

Member Function Documentation

addEC()

std::size_t smtrat::cad::ProjectionLevelInformation::EquationalConstraints::addEC ( )

inline

Add a poly to the respective origin.

Definition at line 70 of file ProjectionInformation.h.

addPolyToEC()

void smtrat::cad::ProjectionLevelInformation::EquationalConstraints::addPolyToEC ( std::size_t  id, std::size_t  pid  )

inline

Definition at line 75 of file ProjectionInformation.h.

count()

std::size_t smtrat::cad::ProjectionLevelInformation::EquationalConstraints::count ( ) const

inline

Definition at line 82 of file ProjectionInformation.h.

getEC() [1/2]

auto& smtrat::cad::ProjectionLevelInformation::EquationalConstraints::getEC ( std::size_t  ecid )

inline

Definition at line 88 of file ProjectionInformation.h.

getEC() [2/2]

const auto& smtrat::cad::ProjectionLevelInformation::EquationalConstraints::getEC ( std::size_t  ecid ) const

inline

Definition at line 85 of file ProjectionInformation.h.

hasEC()

bool smtrat::cad::ProjectionLevelInformation::EquationalConstraints::hasEC ( ) const

inline

Definition at line 79 of file ProjectionInformation.h.

Field Documentation

mData

std::vector<EquationalConstraint> smtrat::cad::ProjectionLevelInformation::EquationalConstraints::mData

private

A list of all ECs in this level, identified by their origin.

Definition at line 67 of file ProjectionInformation.h.

---

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

• smtrat-cad/projection/ProjectionInformation.h