carl  24.04
Computer ARithmetic Library
Public Member Functions
carl::io::parser::ExpressionParser< Pol >::perform_division Class Reference

#include <ExpressionParser.h>

Inheritance diagram for carl::io::parser::ExpressionParser< Pol >::perform_division:
Inheritance graph
[legend]
Collaboration diagram for carl::io::parser::ExpressionParser< Pol >::perform_division:
Collaboration graph
[legend]

Public Member Functions

expr_type operator() (const RatFun< Pol > &lhs, const CoeffType &rhs) const
 
template<typename T >
std::enable_if<!std::is_base_of< Formula< Pol >, T >::value, expr_type >::type operator() (const RatFun< Pol > &lhs, const T &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
 
expr_type operator() (const RatFun< Pol > &lhs, const RatFun< Pol > &rhs) const
 
template<typename T >
std::enable_if<!std::is_same< Formula< Pol >, T >::value, expr_type >::type operator() (const T &lhs, const CoeffType &coeff) 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
 
template<typename T , typename U >
std::enable_if<!std::is_same< Formula< Pol >, T >::value, expr_type >::type operator() (const T &lhs, const U &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_division

Definition at line 223 of file ExpressionParser.h.

Member Function Documentation

◆ operator()() [1/10]

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

Definition at line 267 of file ExpressionParser.h.

◆ operator()() [2/10]

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

Definition at line 225 of file ExpressionParser.h.

◆ operator()() [3/10]

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

Definition at line 235 of file ExpressionParser.h.

◆ operator()() [4/10]

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

Definition at line 243 of file ExpressionParser.h.

◆ operator()() [5/10]

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

Definition at line 231 of file ExpressionParser.h.

◆ operator()() [6/10]

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

Definition at line 239 of file ExpressionParser.h.

◆ operator()() [7/10]

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_division::operator() ( const T &  lhs,
const CoeffType &  coeff 
) const
inline

Definition at line 249 of file ExpressionParser.h.

Here is the call graph for this function:

◆ operator()() [8/10]

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_division::operator() ( const T &  lhs,
const Formula< Pol > &  rhs 
) const
inline

Definition at line 273 of file ExpressionParser.h.

◆ operator()() [9/10]

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_division::operator() ( const T &  lhs,
const RatFun< Pol > &  rhs 
) const
inline

Definition at line 255 of file ExpressionParser.h.

Here is the call graph for this function:

◆ operator()() [10/10]

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

Definition at line 262 of file ExpressionParser.h.

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