smtrat::cad::ProjectionOperator Struct Reference

#include <ProjectionOperator.h>

Public Member Functions
template<typename Callback >
void	operator() (ProjectionType pt, const UPoly &p, carl::Variable variable, Callback &&cb) const
template<typename Callback >
void	operator() (ProjectionType pt, const UPoly &p, const UPoly &q, carl::Variable variable, Callback &&i) const

Detailed Description

Definition at line 16 of file ProjectionOperator.h.

Member Function Documentation

operator()() [1/2]

template<typename Callback >

void smtrat::cad::ProjectionOperator::operator() ( ProjectionType  pt, const UPoly &  p, carl::Variable  variable, Callback &&  cb  ) const

inline

Definition at line 18 of file ProjectionOperator.h.

Here is the call graph for this function:

operator()() [2/2]

template<typename Callback >

void smtrat::cad::ProjectionOperator::operator() ( ProjectionType  pt, const UPoly &  p, const UPoly &  q, carl::Variable  variable, Callback &&  i  ) const

inline

Definition at line 38 of file ProjectionOperator.h.

Here is the call graph for this function:

---

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

• smtrat-cad/projectionoperator/ProjectionOperator.h