smtrat::cad::ProjectionGlobalInformation Class Reference

#include <ProjectionInformation.h>

Collaboration diagram for smtrat::cad::ProjectionGlobalInformation:

Data Structures
struct	ECData

Public Types
using	ECMap = std::map< Origin::BaseType, ECData >

Public Member Functions
void	reset (std::size_t dim)
void	createEC (const Origin::BaseType &origin)
bool	isEC (const Origin::BaseType &origin) const
void	addToEC (const Origin::BaseType &origin, std::size_t level, std::size_t pid)
void	removeEC (const Origin::BaseType &origin)

Data Fields
ECMap	mECs
std::vector< ECMap::const_iterator >	mUsedEC
carl::Bitset	mInactive

Detailed Description

Definition at line 11 of file ProjectionInformation.h.

Member Typedef Documentation

ECMap

using smtrat::cad::ProjectionGlobalInformation::ECMap = std::map<Origin::BaseType, ECData>

Definition at line 17 of file ProjectionInformation.h.

Member Function Documentation

addToEC()

void smtrat::cad::ProjectionGlobalInformation::addToEC ( const Origin::BaseType &  origin, std::size_t  level, std::size_t  pid  )

inline

Definition at line 38 of file ProjectionInformation.h.

createEC()

void smtrat::cad::ProjectionGlobalInformation::createEC ( const Origin::BaseType &  origin )

inline

Definition at line 29 of file ProjectionInformation.h.

isEC()

bool smtrat::cad::ProjectionGlobalInformation::isEC ( const Origin::BaseType &  origin ) const

inline

Definition at line 34 of file ProjectionInformation.h.

removeEC()

void smtrat::cad::ProjectionGlobalInformation::removeEC ( const Origin::BaseType &  origin )

inline

Definition at line 49 of file ProjectionInformation.h.

reset()

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

inline

Definition at line 24 of file ProjectionInformation.h.

Here is the caller graph for this function:

Field Documentation

mECs

ECMap smtrat::cad::ProjectionGlobalInformation::mECs

Definition at line 19 of file ProjectionInformation.h.

mInactive

carl::Bitset smtrat::cad::ProjectionGlobalInformation::mInactive

Definition at line 22 of file ProjectionInformation.h.

mUsedEC

std::vector<ECMap::const_iterator> smtrat::cad::ProjectionGlobalInformation::mUsedEC

Definition at line 20 of file ProjectionInformation.h.

---

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

• smtrat-cad/projection/ProjectionInformation.h