SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Private Attributes
smtrat::cad::ProjectionInformation Class Reference

#include <ProjectionInformation.h>

Collaboration diagram for smtrat::cad::ProjectionInformation:
Collaboration graph
[legend]

Public Member Functions

const auto & operator() () const
 
auto & operator() ()
 
const auto & operator() (std::size_t level) const
 
auto & operator() (std::size_t level)
 
bool hasInfo (std::size_t level) const
 
const auto & operator() (std::size_t level, std::size_t pid) const
 
auto & operator() (std::size_t level, std::size_t pid)
 
void clear (std::size_t level, std::size_t pid)
 
void emplace (std::size_t level, std::size_t pid)
 
bool hasInfo (std::size_t level, std::size_t pid) const
 
bool isActive (std::size_t level, std::size_t id) const
 
void reset (std::size_t dim)
 
void addECConstraint (std::size_t pid)
 
void removeECConstraint (std::size_t)
 
bool hasEC (std::size_t level) const
 
bool usingEC (std::size_t level) const
 
const carl::Bitset & getUsedEC (std::size_t level) const
 
bool selectEC (std::size_t level)
 
void unselectEC (std::size_t level)
 

Private Attributes

ProjectionGlobalInformation mGlobal
 
ProjectionLevelInformation mLevel
 
ProjectionPolynomialInformation mPoly
 

Detailed Description

Definition at line 194 of file ProjectionInformation.h.

Member Function Documentation

◆ addECConstraint()

void smtrat::cad::ProjectionInformation::addECConstraint ( std::size_t  pid)
inline

Definition at line 268 of file ProjectionInformation.h.

Here is the caller graph for this function:

◆ clear()

void smtrat::cad::ProjectionInformation::clear ( std::size_t  level,
std::size_t  pid 
)
inline

Definition at line 223 of file ProjectionInformation.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ emplace()

void smtrat::cad::ProjectionInformation::emplace ( std::size_t  level,
std::size_t  pid 
)
inline

Definition at line 226 of file ProjectionInformation.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ getUsedEC()

const carl::Bitset& smtrat::cad::ProjectionInformation::getUsedEC ( std::size_t  level) const
inline

Definition at line 284 of file ProjectionInformation.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ hasEC()

bool smtrat::cad::ProjectionInformation::hasEC ( std::size_t  level) const
inline

Definition at line 278 of file ProjectionInformation.h.

Here is the caller graph for this function:

◆ hasInfo() [1/2]

bool smtrat::cad::ProjectionInformation::hasInfo ( std::size_t  level) const
inline

Definition at line 213 of file ProjectionInformation.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ hasInfo() [2/2]

bool smtrat::cad::ProjectionInformation::hasInfo ( std::size_t  level,
std::size_t  pid 
) const
inline

Definition at line 229 of file ProjectionInformation.h.

Here is the call graph for this function:

◆ isActive()

bool smtrat::cad::ProjectionInformation::isActive ( std::size_t  level,
std::size_t  id 
) const
inline

Definition at line 233 of file ProjectionInformation.h.

Here is the caller graph for this function:

◆ operator()() [1/6]

auto& smtrat::cad::ProjectionInformation::operator() ( )
inline

Definition at line 203 of file ProjectionInformation.h.

◆ operator()() [2/6]

const auto& smtrat::cad::ProjectionInformation::operator() ( ) const
inline

Definition at line 200 of file ProjectionInformation.h.

◆ operator()() [3/6]

auto& smtrat::cad::ProjectionInformation::operator() ( std::size_t  level)
inline

Definition at line 210 of file ProjectionInformation.h.

◆ operator()() [4/6]

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

Definition at line 207 of file ProjectionInformation.h.

◆ operator()() [5/6]

auto& smtrat::cad::ProjectionInformation::operator() ( std::size_t  level,
std::size_t  pid 
)
inline

Definition at line 220 of file ProjectionInformation.h.

◆ operator()() [6/6]

const auto& smtrat::cad::ProjectionInformation::operator() ( std::size_t  level,
std::size_t  pid 
) const
inline

Definition at line 217 of file ProjectionInformation.h.

◆ removeECConstraint()

void smtrat::cad::ProjectionInformation::removeECConstraint ( std::size_t  )
inline

Definition at line 274 of file ProjectionInformation.h.

◆ reset()

void smtrat::cad::ProjectionInformation::reset ( std::size_t  dim)
inline

Definition at line 262 of file ProjectionInformation.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ selectEC()

bool smtrat::cad::ProjectionInformation::selectEC ( std::size_t  level)
inline

Definition at line 289 of file ProjectionInformation.h.

Here is the call graph for this function:
Here is the caller graph for this function:

◆ unselectEC()

void smtrat::cad::ProjectionInformation::unselectEC ( std::size_t  level)
inline

Definition at line 314 of file ProjectionInformation.h.

Here is the caller graph for this function:

◆ usingEC()

bool smtrat::cad::ProjectionInformation::usingEC ( std::size_t  level) const
inline

Definition at line 281 of file ProjectionInformation.h.

Here is the caller graph for this function:

Field Documentation

◆ mGlobal

ProjectionGlobalInformation smtrat::cad::ProjectionInformation::mGlobal
private

Definition at line 196 of file ProjectionInformation.h.

◆ mLevel

ProjectionLevelInformation smtrat::cad::ProjectionInformation::mLevel
private

Definition at line 197 of file ProjectionInformation.h.

◆ mPoly

ProjectionPolynomialInformation smtrat::cad::ProjectionInformation::mPoly
private

Definition at line 198 of file ProjectionInformation.h.

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