CompileTimeDerivatives::CTPow< L, R > Class Template Reference

Power operator where both base and exponent can be arbitrary operators. More...

#include <CompileTimeDerivatives.h>

Inheritance diagram for CompileTimeDerivatives::CTPow< L, R >:

Public Types
typedef libMesh::CompareTypes< typename L::ResultType, typename R::ResultType >::supertype	ResultType

Public Member Functions
	CTPow (L left, R right)
ResultType	operator() () const
std::string	print () const
template<CTTag dtag>
auto	D () const
template<typename Self >
std::string	printParens (const Self *, const std::string &op) const

Static Public Member Functions
static constexpr int	precedence ()
	precedence should reflect C++ operator precedence exactly (higher is binding tighter) More...
static constexpr bool	leftAssociative ()
	left/right associative property should reflect C++ operator properties exactly More...

Protected Attributes
const L	_left
const R	_right

Detailed Description

template<typename L, typename R>
class CompileTimeDerivatives::CTPow< L, R >

Power operator where both base and exponent can be arbitrary operators.

Definition at line 667 of file CompileTimeDerivatives.h.

Member Typedef Documentation

ResultType

template<typename L, typename R>

typedef libMesh::CompareTypes<typename L::ResultType, typename R::ResultType>::supertype CompileTimeDerivatives::CTBinary< L, R >::ResultType

inherited

Definition at line 198 of file CompileTimeDerivatives.h.

Constructor & Destructor Documentation

CTPow()

template<typename L , typename R >

CompileTimeDerivatives::CTPow< L, R >::CTPow ( L  left, R  right  )

inline

Definition at line 670 of file CompileTimeDerivatives.h.

: CTBinary<L, R>(left, right) {}

Member Function Documentation

D()

template<typename L , typename R >

template<CTTag dtag>

auto CompileTimeDerivatives::CTPow< L, R >::D ( ) const

inline

Definition at line 689 of file CompileTimeDerivatives.h.

  {
    if constexpr (std::is_base_of<CTNullBase, decltype(_left.template D<dtag>())>::value &&
                  std::is_base_of<CTNullBase, decltype(_right.template D<dtag>())>::value)
      return CTNull<ResultType>();

    else if constexpr (std::is_base_of<CTNullBase, decltype(_left.template D<dtag>())>::value)
      return pow(_left, _right) * _right.template D<dtag>() * log(_left);

    else if constexpr (std::is_base_of<CTNullBase, decltype(_right.template D<dtag>())>::value)
      return pow(_left, _right) * _right * _left.template D<dtag>() / _left;

    else
      return pow(_left, _right) *
             (_right.template D<dtag>() * log(_left) + _right * _left.template D<dtag>() / _left);
  }

leftAssociative()

static constexpr bool CompileTimeDerivatives::CTBase::leftAssociative ( )

inlinestaticinherited

left/right associative property should reflect C++ operator properties exactly

Definition at line 31 of file CompileTimeDerivatives.h.

{ return false; }

operator()()

template<typename L , typename R >

ResultType CompileTimeDerivatives::CTPow< L, R >::operator() ( ) const

inline

Definition at line 673 of file CompileTimeDerivatives.h.

  {
    if constexpr (std::is_base_of<CTNullBase, L>::value)
      return ResultType(0);

    if constexpr (std::is_base_of<CTOneBase, L>::value || std::is_base_of<CTNullBase, R>::value)
      return ResultType(1);

    if constexpr (std::is_base_of<CTOneBase, R>::value)
      return _left();

    return std::pow(_left(), _right());
  }

precedence()

static constexpr int CompileTimeDerivatives::CTBase::precedence ( )

inlinestaticinherited

precedence should reflect C++ operator precedence exactly (higher is binding tighter)

Definition at line 29 of file CompileTimeDerivatives.h.

{ return 0; }

print()

template<typename L , typename R >

std::string CompileTimeDerivatives::CTPow< L, R >::print ( ) const

inline

Definition at line 686 of file CompileTimeDerivatives.h.

{ return "pow(" + _left.print() + "," + _right.print() + ")"; }

printParens()

template<typename L, typename R>

template<typename Self >

std::string CompileTimeDerivatives::CTBinary< L, R >::printParens ( const Self *  , const std::string &  op  ) const

inlineinherited

Definition at line 201 of file CompileTimeDerivatives.h.

Referenced by CompileTimeDerivatives::CTAdd< L, R >::print(), CompileTimeDerivatives::CTSub< L, R >::print(), CompileTimeDerivatives::CTMul< L, R >::print(), CompileTimeDerivatives::CTDiv< L, R >::print(), and CompileTimeDerivatives::CTCompare< C, L, R >::print().

  {
    std::string out;
    if constexpr (L::precedence() > Self::precedence())
      out = "(" + _left.print() + ")";
    else
      out = _left.print();

    out += op;

    if (R::precedence() > Self::precedence() ||
        (R::precedence() == Self::precedence() && Self::leftAssociative()))
      out += "(" + _right.print() + ")";
    else
      out += _right.print();

    return out;
  }

Member Data Documentation

_left

template<typename L, typename R>

const L CompileTimeDerivatives::CTBinary< L, R >::_left

protectedinherited

Definition at line 221 of file CompileTimeDerivatives.h.

Referenced by CompileTimeDerivatives::CTConditional< C, L, R >::D(), CompileTimeDerivatives::CTAdd< L, R >::D(), CompileTimeDerivatives::CTSub< L, R >::D(), CompileTimeDerivatives::CTMul< L, R >::D(), CompileTimeDerivatives::CTDiv< L, R >::D(), CompileTimeDerivatives::CTPow< L, R >::D(), CompileTimeDerivatives::CTConditional< C, L, R >::operator()(), CompileTimeDerivatives::CTAdd< L, R >::operator()(), CompileTimeDerivatives::CTSub< L, R >::operator()(), CompileTimeDerivatives::CTMul< L, R >::operator()(), CompileTimeDerivatives::CTDiv< L, R >::operator()(), CompileTimeDerivatives::CTCompare< C, L, R >::operator()(), CompileTimeDerivatives::CTPow< L, R >::operator()(), CompileTimeDerivatives::CTConditional< C, L, R >::print(), CompileTimeDerivatives::CTPow< L, R >::print(), and CompileTimeDerivatives::CTBinary< L, R >::printParens().

_right

template<typename L, typename R>

const R CompileTimeDerivatives::CTBinary< L, R >::_right

protectedinherited

Definition at line 222 of file CompileTimeDerivatives.h.

Referenced by CompileTimeDerivatives::CTConditional< C, L, R >::D(), CompileTimeDerivatives::CTAdd< L, R >::D(), CompileTimeDerivatives::CTSub< L, R >::D(), CompileTimeDerivatives::CTMul< L, R >::D(), CompileTimeDerivatives::CTDiv< L, R >::D(), CompileTimeDerivatives::CTPow< L, R >::D(), CompileTimeDerivatives::CTConditional< C, L, R >::operator()(), CompileTimeDerivatives::CTAdd< L, R >::operator()(), CompileTimeDerivatives::CTSub< L, R >::operator()(), CompileTimeDerivatives::CTMul< L, R >::operator()(), CompileTimeDerivatives::CTDiv< L, R >::operator()(), CompileTimeDerivatives::CTCompare< C, L, R >::operator()(), CompileTimeDerivatives::CTPow< L, R >::operator()(), CompileTimeDerivatives::CTConditional< C, L, R >::print(), CompileTimeDerivatives::CTPow< L, R >::print(), and CompileTimeDerivatives::CTBinary< L, R >::printParens().

---

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

• include/utils/CompileTimeDerivatives.h