https://mooseframework.inl.gov
Public Types | Public Member Functions | Static Public Member Functions | Protected Attributes | List of all members
CompileTimeDerivatives::CTAdd< L, R > Class Template Reference

Addition operator node. More...

#include <CompileTimeDerivatives.h>

Inheritance diagram for CompileTimeDerivatives::CTAdd< L, R >:
[legend]

Public Types

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

Public Member Functions

 CTAdd (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 ()
 
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::CTAdd< L, R >

Addition operator node.

Definition at line 439 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

◆ CTAdd()

template<typename L , typename R >
CompileTimeDerivatives::CTAdd< L, R >::CTAdd ( left,
right 
)
inline

Definition at line 442 of file CompileTimeDerivatives.h.

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

Member Function Documentation

◆ D()

template<typename L , typename R >
template<CTTag dtag>
auto CompileTimeDerivatives::CTAdd< L, R >::D ( ) const
inline

Definition at line 464 of file CompileTimeDerivatives.h.

465  {
466  return _left.template D<dtag>() + _right.template D<dtag>();
467  }
CTSub CT_OPERATOR_BINARY CTMul CTCompareLess CTCompareGreater CTCompareEqual _arg template D< dtag >()/_arg) CT_SIMPLE_UNARY_FUNCTION(sin

◆ 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.

31 { return false; }

◆ operator()()

template<typename L , typename R >
ResultType CompileTimeDerivatives::CTAdd< L, R >::operator() ( ) const
inline

Definition at line 445 of file CompileTimeDerivatives.h.

446  {
447  // compile time optimization to skip null terms
448  if constexpr (std::is_base_of<CTNullBase, L>::value && std::is_base_of<CTNullBase, R>::value)
449  return ResultType(0);
450 
451  if constexpr (std::is_base_of<CTNullBase, L>::value)
452  return _right();
453 
454  if constexpr (std::is_base_of<CTNullBase, R>::value)
455  return _left();
456 
457  else
458  return _left() + _right();
459  }
libMesh::CompareTypes< typename L::ResultType, typename R::ResultType >::supertype ResultType

◆ precedence()

template<typename L , typename R >
static constexpr int CompileTimeDerivatives::CTAdd< L, R >::precedence ( )
inlinestatic

Definition at line 461 of file CompileTimeDerivatives.h.

461 { return 6; }

◆ print()

template<typename L , typename R >
std::string CompileTimeDerivatives::CTAdd< L, R >::print ( ) const
inline

Definition at line 460 of file CompileTimeDerivatives.h.

460 { return this->printParens(this, "+"); }
std::string printParens(const Self *, const std::string &op) const

◆ 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().

202  {
203  std::string out;
204  if constexpr (L::precedence() > Self::precedence())
205  out = "(" + _left.print() + ")";
206  else
207  out = _left.print();
208 
209  out += op;
210 
211  if (R::precedence() > Self::precedence() ||
212  (R::precedence() == Self::precedence() && Self::leftAssociative()))
213  out += "(" + _right.print() + ")";
214  else
215  out += _right.print();
216 
217  return out;
218  }
static constexpr bool leftAssociative()
left/right associative property should reflect C++ operator properties exactly
static constexpr int precedence()
precedence should reflect C++ operator precedence exactly (higher is binding tighter) ...
if(!dmm->_nl) SETERRQ(PETSC_COMM_WORLD
OStreamProxy out

Member Data Documentation

◆ _left

template<typename L, typename R>
const L CompileTimeDerivatives::CTBinary< L, R >::_left
protectedinherited

◆ _right

template<typename L, typename R>
const R CompileTimeDerivatives::CTBinary< L, R >::_right
protectedinherited

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