SMT-RAT  24.02
Toolbox for Strategic and Parallel Satisfiability-Modulo-Theories Solving
Public Member Functions | Data Fields
smtrat::cad::ProjectionLevelInformation::LevelInfo Struct Reference

#include <ProjectionInformation.h>

Collaboration diagram for smtrat::cad::ProjectionLevelInformation::LevelInfo:
Collaboration graph
[legend]

Public Member Functions

bool isBound (std::size_t pid) const
 
void setBound (std::size_t pid, bool isBound)
 
bool isEvaluated (std::size_t pid) const
 
void setEvaluated (std::size_t pid, bool isEvaluated)
 
bool isPurged (std::size_t pid) const
 
void setPurged (std::size_t pid, bool isPurged)
 
void removePurgedFromEvaluated ()
 
void restrictEvaluatedToPurged ()
 

Data Fields

carl::Bitset bounds
 Which polynomials are bounds. More...
 
carl::Bitset evaluated
 Which polynomials have been evaluated w.r.t. purging. More...
 
carl::Bitset purged
 Which polynomials are purged from the projection. (usually due to bounds) More...
 
EquationalConstraints ecs
 Equational constraints. More...
 

Detailed Description

Definition at line 93 of file ProjectionInformation.h.

Member Function Documentation

◆ isBound()

bool smtrat::cad::ProjectionLevelInformation::LevelInfo::isBound ( std::size_t  pid) const
inline

Definition at line 104 of file ProjectionInformation.h.

Here is the caller graph for this function:

◆ isEvaluated()

bool smtrat::cad::ProjectionLevelInformation::LevelInfo::isEvaluated ( std::size_t  pid) const
inline

Definition at line 111 of file ProjectionInformation.h.

Here is the caller graph for this function:

◆ isPurged()

bool smtrat::cad::ProjectionLevelInformation::LevelInfo::isPurged ( std::size_t  pid) const
inline

Definition at line 118 of file ProjectionInformation.h.

Here is the caller graph for this function:

◆ removePurgedFromEvaluated()

void smtrat::cad::ProjectionLevelInformation::LevelInfo::removePurgedFromEvaluated ( )
inline

Definition at line 125 of file ProjectionInformation.h.

◆ restrictEvaluatedToPurged()

void smtrat::cad::ProjectionLevelInformation::LevelInfo::restrictEvaluatedToPurged ( )
inline

Definition at line 128 of file ProjectionInformation.h.

◆ setBound()

void smtrat::cad::ProjectionLevelInformation::LevelInfo::setBound ( std::size_t  pid,
bool  isBound 
)
inline

Definition at line 107 of file ProjectionInformation.h.

Here is the call graph for this function:

◆ setEvaluated()

void smtrat::cad::ProjectionLevelInformation::LevelInfo::setEvaluated ( std::size_t  pid,
bool  isEvaluated 
)
inline

Definition at line 114 of file ProjectionInformation.h.

Here is the call graph for this function:

◆ setPurged()

void smtrat::cad::ProjectionLevelInformation::LevelInfo::setPurged ( std::size_t  pid,
bool  isPurged 
)
inline

Definition at line 121 of file ProjectionInformation.h.

Here is the call graph for this function:

Field Documentation

◆ bounds

carl::Bitset smtrat::cad::ProjectionLevelInformation::LevelInfo::bounds

Which polynomials are bounds.

Definition at line 95 of file ProjectionInformation.h.

◆ ecs

EquationalConstraints smtrat::cad::ProjectionLevelInformation::LevelInfo::ecs

Equational constraints.

Definition at line 102 of file ProjectionInformation.h.

◆ evaluated

carl::Bitset smtrat::cad::ProjectionLevelInformation::LevelInfo::evaluated

Which polynomials have been evaluated w.r.t. purging.

Definition at line 97 of file ProjectionInformation.h.

◆ purged

carl::Bitset smtrat::cad::ProjectionLevelInformation::LevelInfo::purged

Which polynomials are purged from the projection. (usually due to bounds)

Definition at line 99 of file ProjectionInformation.h.

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