carl  24.04
Computer ARithmetic Library
carl::io::parser::ExpressionParser< Pol >::perform_addition Class Reference

#include <ExpressionParser.h>

Inheritance diagram for carl::io::parser::ExpressionParser< Pol >::perform_addition:
Collaboration diagram for carl::io::parser::ExpressionParser< Pol >::perform_addition:

Public Member Functions

template<typename T , typename U >
expr_type operator() (const T &lhs, const U &rhs) const
 
expr_type operator() (const CoeffType &lhs, const CoeffType &rhs) const
 
expr_type operator() (const RatFun< Pol > &lhs, const Monomial::Arg &rhs) const
 
expr_type operator() (const RatFun< Pol > &lhs, const Term< CoeffType > &rhs) const
 
template<typename T >
std::enable_if<!std::is_same< Formula< Pol >, T >::value, expr_type >::type operator() (const RatFun< Pol > &lhs, const T &rhs) const
 
template<typename T >
std::enable_if<!std::is_same< Formula< Pol >, T >::value, expr_type >::type operator() (const T &lhs, const RatFun< Pol > &rhs) const
 
expr_type operator() (const RatFun< Pol > &lhs, const RatFun< Pol > &rhs) const
 
template<typename T >
expr_type operator() (const Formula< Pol > &lhs, const T &rhs) const
 
template<typename T >
std::enable_if<!std::is_same< Formula< Pol >, T >::value, expr_type >::type operator() (const T &lhs, const Formula< Pol > &rhs) const
 

Detailed Description

template<typename Pol>
class carl::io::parser::ExpressionParser< Pol >::perform_addition

Definition at line 87 of file ExpressionParser.h.

Member Function Documentation

◆ operator()() [1/9]

template<typename Pol >
expr_type carl::io::parser::ExpressionParser< Pol >::perform_addition::operator() ( const CoeffType lhs,
const CoeffType rhs 
) const
inline

Definition at line 94 of file ExpressionParser.h.

◆ operator()() [2/9]

template<typename Pol >
template<typename T >
expr_type carl::io::parser::ExpressionParser< Pol >::perform_addition::operator() ( const Formula< Pol > &  lhs,
const T &  rhs 
) const
inline

Definition at line 123 of file ExpressionParser.h.

◆ operator()() [3/9]

template<typename Pol >
expr_type carl::io::parser::ExpressionParser< Pol >::perform_addition::operator() ( const RatFun< Pol > &  lhs,
const Monomial::Arg rhs 
) const
inline

Definition at line 98 of file ExpressionParser.h.

◆ operator()() [4/9]

template<typename Pol >
expr_type carl::io::parser::ExpressionParser< Pol >::perform_addition::operator() ( const RatFun< Pol > &  lhs,
const RatFun< Pol > &  rhs 
) const
inline

Definition at line 118 of file ExpressionParser.h.

◆ operator()() [5/9]

template<typename Pol >
template<typename T >
std::enable_if<!std::is_same<Formula<Pol>, T>::value, expr_type>::type carl::io::parser::ExpressionParser< Pol >::perform_addition::operator() ( const RatFun< Pol > &  lhs,
const T &  rhs 
) const
inline

Definition at line 108 of file ExpressionParser.h.

◆ operator()() [6/9]

template<typename Pol >
expr_type carl::io::parser::ExpressionParser< Pol >::perform_addition::operator() ( const RatFun< Pol > &  lhs,
const Term< CoeffType > &  rhs 
) const
inline

Definition at line 102 of file ExpressionParser.h.

◆ operator()() [7/9]

template<typename Pol >
template<typename T >
std::enable_if<!std::is_same<Formula<Pol>, T>::value, expr_type>::type carl::io::parser::ExpressionParser< Pol >::perform_addition::operator() ( const T &  lhs,
const Formula< Pol > &  rhs 
) const
inline

Definition at line 129 of file ExpressionParser.h.

◆ operator()() [8/9]

template<typename Pol >
template<typename T >
std::enable_if<!std::is_same<Formula<Pol>, T>::value, expr_type>::type carl::io::parser::ExpressionParser< Pol >::perform_addition::operator() ( const T &  lhs,
const RatFun< Pol > &  rhs 
) const
inline

Definition at line 114 of file ExpressionParser.h.

◆ operator()() [9/9]

template<typename Pol >
template<typename T , typename U >
expr_type carl::io::parser::ExpressionParser< Pol >::perform_addition::operator() ( const T &  lhs,
const U &  rhs 
) const
inline

Definition at line 90 of file ExpressionParser.h.


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