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

#include <ProjectionInformation.h>

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

Data Structures

struct  PolyInfo
 

Public Member Functions

bool hasInfo (std::size_t level, std::size_t pid) const
 
void emplace (std::size_t level, std::size_t pid)
 
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 reset (std::size_t)
 

Private Attributes

std::vector< std::vector< std::optional< PolyInfo > > > mPolyData
 

Detailed Description

Definition at line 158 of file ProjectionInformation.h.

Member Function Documentation

◆ clear()

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

Definition at line 186 of file ProjectionInformation.h.

Here is the caller graph for this function:

◆ emplace()

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

Definition at line 173 of file ProjectionInformation.h.

Here is the caller graph for this function:

◆ hasInfo()

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

Definition at line 168 of file ProjectionInformation.h.

Here is the caller graph for this function:

◆ operator()() [1/2]

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

Definition at line 182 of file ProjectionInformation.h.

Here is the call graph for this function:

◆ operator()() [2/2]

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

Definition at line 178 of file ProjectionInformation.h.

Here is the call graph for this function:

◆ reset()

void smtrat::cad::ProjectionPolynomialInformation::reset ( std::size_t  )
inline

Definition at line 189 of file ProjectionInformation.h.

Here is the caller graph for this function:

Field Documentation

◆ mPolyData

std::vector<std::vector<std::optional<PolyInfo> > > smtrat::cad::ProjectionPolynomialInformation::mPolyData
private

Definition at line 165 of file ProjectionInformation.h.

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