smtrat::cad::ProjectionLevelInformation Class Reference

#include <ProjectionInformation.h>

Collaboration diagram for smtrat::cad::ProjectionLevelInformation:

Data Structures
struct	EquationalConstraint
struct	EquationalConstraints
struct	LevelInfo

Public Member Functions
bool	hasInfo (std::size_t level) const
void	emplace (std::size_t level)
const auto &	operator() (std::size_t level) const
auto &	operator() (std::size_t level)
void	reset (std::size_t dim)

Private Attributes
std::vector< LevelInfo >	mLevelData

Detailed Description

Definition at line 54 of file ProjectionInformation.h.

Member Function Documentation

emplace()

void smtrat::cad::ProjectionLevelInformation::emplace ( std::size_t  level )

inline

Definition at line 140 of file ProjectionInformation.h.

Here is the caller graph for this function:

hasInfo()

bool smtrat::cad::ProjectionLevelInformation::hasInfo ( std::size_t  level ) const

inline

Definition at line 136 of file ProjectionInformation.h.

Here is the caller graph for this function:

operator()() [1/2]

auto& smtrat::cad::ProjectionLevelInformation::operator() ( std::size_t  level )

inline

Definition at line 147 of file ProjectionInformation.h.

Here is the call graph for this function:

operator()() [2/2]

const auto& smtrat::cad::ProjectionLevelInformation::operator() ( std::size_t  level ) const

inline

Definition at line 143 of file ProjectionInformation.h.

Here is the call graph for this function:

reset()

void smtrat::cad::ProjectionLevelInformation::reset ( std::size_t  dim )

inline

Definition at line 152 of file ProjectionInformation.h.

Here is the call graph for this function:

Here is the caller graph for this function:

Field Documentation

mLevelData

std::vector<LevelInfo> smtrat::cad::ProjectionLevelInformation::mLevelData

private

Definition at line 133 of file ProjectionInformation.h.

---

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

• smtrat-cad/projection/ProjectionInformation.h