SUNphi  1.0
SUNphi::UMinuser< _Refs > Class Template Reference

Class to take the conjugate of a SmET. More...

#include <UnaryMinus.hpp>

Inheritance diagram for SUNphi::UMinuser< _Refs >:
SUNphi::BaseUMinuser SUNphi::NnarySmET< UMinuser< _Refs... > > SUNphi::ConstrainAreSmETs< _Refs... > SUNphi::SmET< UMinuser< _Refs... > > SUNphi::BaseNnarySmET SUNphi::BaseSmET SUNphi::BaseSmET

Public Types

using Refs = Tuple< _Refs... >
 
template<int I>
using Ref = TupleElementType< I, Tuple< _Refs... >>
 
using Tk = typename RemRef< Ref< 0 >>::Tk
 
using ExtraDelims = IntSeq<>
 
using PosOfResTcsInRefsTk = PosOfTcsOfTkInListOfTks< Tk, typename RemRef< _Refs >::Tk... >
 
using PosOfResTcsPresInRefsTk = PosOfTcsOfTkPresInListOfTks< Tk, typename RemRef< _Refs >::Tk... >
 
using Fund = decltype(_fundThroughRepresentativeFunction(IntsUpTo< NSmET >{}))
 
using MergeableComps = NnarySmETCompsMergeability< Tuple< typename RemRef< _Refs >::MergeableComps... >, PosOfResTcsInRefsTk, ExtraDelims >
 

Public Member Functions

template<typename TC , int I = 0>
int compSize () const
 
template<typename Tref >
bool isAliasing (const Tref &alias) const
 
decltype(auto) getMaximallyMergedCompsView ()
 
template<int... Is, typename MDs >
decltype(auto) mergedCompsViewAccordingToRepresentativeFunction (IntSeq< Is... >, MDs) const
 
template<typename... Ts>
decltype(auto) mergedCompsViewAccordingToRepresentativeFunction (Ts &&...ts)
 
template<typename Is >
decltype(auto) getMergedCompsView () const
 
template<typename... Ts>
decltype(auto) getMergedCompsView (Ts &&...ts)
 
template<typename... Args>
decltype(auto) eval (Args &&...args) const
 
template<typename... Ts>
decltype(auto) eval (Ts &&...ts)
 
template<typename... SMETS>
 UMinuser (SMETS &&...smets)
 
UMinuser< _Refs... > & operator~ ()
 
const UMinuser< _Refs... > & operator~ () const
 
decltype(auto) _refEvalByCompsName (IntSeq< I >, IntSeq< Pos... >, Tp &&targs) const
 < Components to get More...
 
decltype(auto) _refEvalByCompsName (Ts &&...ts)
 
decltype(auto) refEvalByCompsName (Tp &&targs) const
 < Components to get More...
 
decltype(auto) refEvalByCompsName (Tp &&targs)
 
decltype(auto) evalThroughRepresentativeFunctionPassingCompsByName (IntSeq< I... >, const Args &...args) const
 < Components to get More...
 
decltype(auto) evalThroughRepresentativeFunctionPassingCompsByName (Ts &&...ts)
 
decltype(auto) operator() (Oth &&...oth)
 
decltype(auto) operator() (Oth &&...oth) const
 

Static Public Member Functions

template<typename T >
static decltype(auto) representativeFunction (T &&t)
 Returns the opposite of the argument. More...
 
template<int... Is>
static decltype(auto) _fundThroughRepresentativeFunction (IntSeq< Is... >)
 
template<typename Is , typename = EnableIf<isIntSeq<Is>>>
static constexpr void assertMergeableWith ()
 

Public Attributes

Tuple< Reference< _Refs >... > refs
 

Static Public Attributes

static constexpr int NSmET = 1
 
static constexpr bool isStoring = false
 
static constexpr bool isAssignable
 

Detailed Description

template<typename... _Refs>
class SUNphi::UMinuser< _Refs >

Class to take the conjugate of a SmET.

Definition at line 19 of file UnaryMinus.hpp.

Member Typedef Documentation

template<typename... _Refs>
using SUNphi::UMinuser< _Refs >::ExtraDelims = IntSeq<>

No Additional MergeDelims is included

Additional delimiters

Definition at line 43 of file UnaryMinus.hpp.

template<typename... _Refs>
using SUNphi::UMinuser< _Refs >::Fund = decltype(_fundThroughRepresentativeFunction(IntsUpTo<NSmET>{}))

Obtains the Fund type by calling the representativeFunction

Definition at line 45 of file UnaryMinus.hpp.

template<typename... _Refs>
using SUNphi::UMinuser< _Refs >::MergeableComps = NnarySmETCompsMergeability< Tuple<typename RemRef<_Refs>::MergeableComps...>, PosOfResTcsInRefsTk, ExtraDelims>

List of points where the TensKind can be split

Using MergingDelimsForRefs and ExtraDelims to determine the mergability

Definition at line 45 of file UnaryMinus.hpp.

template<typename... _Refs>
using SUNphi::UMinuser< _Refs >::PosOfResTcsInRefsTk = PosOfTcsOfTkInListOfTks<Tk,typename RemRef<_Refs>::Tk...>

Position of all the Result TensComp in each Refs Tk

Definition at line 45 of file UnaryMinus.hpp.

template<typename... _Refs>
using SUNphi::UMinuser< _Refs >::PosOfResTcsPresInRefsTk = PosOfTcsOfTkPresInListOfTks<Tk,typename RemRef<_Refs>::Tk...>

Position of all the Result TensComp present in each Refs Tk

Definition at line 45 of file UnaryMinus.hpp.

template<typename... _Refs>
template<int I>
using SUNphi::UMinuser< _Refs >::Ref = TupleElementType<I,Tuple<_Refs...>>

Type of I-th SmET

Definition at line 26 of file UnaryMinus.hpp.

template<typename... _Refs>
using SUNphi::UMinuser< _Refs >::Refs = Tuple<_Refs...>

Type of the binding references

Definition at line 26 of file UnaryMinus.hpp.

template<typename... _Refs>
using SUNphi::UMinuser< _Refs >::Tk = typename RemRef<Ref< 0 >>::Tk

Same TensKind as Ref 0

Definition at line 41 of file UnaryMinus.hpp.

Constructor & Destructor Documentation

template<typename... _Refs>
template<typename... SMETS>
SUNphi::UMinuser< _Refs >::UMinuser ( SMETS &&...  smets)
inlineexplicit

Constructor taking universal reference

Definition at line 47 of file UnaryMinus.hpp.

Member Function Documentation

template<typename... _Refs>
template<int... Is>
static decltype(auto) SUNphi::UMinuser< _Refs >::_fundThroughRepresentativeFunction ( IntSeq< Is... >  )
inlinestatic

Fundamental type according to the representativeFunction

Internal implementation, getting the type through a call to

the representativeFunction passing by value the Fund

type of each ref, using an IntSeq to call them

Definition at line 45 of file UnaryMinus.hpp.

decltype(auto) SUNphi::NnarySmET< UMinuser< _Refs... > >::_refEvalByCompsName ( IntSeq< I >  ,
IntSeq< Pos... >  ,
Tp &&  targs 
) const
inlineinherited

< Components to get

Evaluate the I-th reference, getting from the Tuple targs the element Pos

Internal implementation

Definition at line 54 of file NnarySmET.hpp.

decltype(auto) SUNphi::NnarySmET< UMinuser< _Refs... > >::_refEvalByCompsName ( Ts &&...  ts)
inlineinherited

Overload the _refEvalByCompsName const method passing all args

Parameters
tsArguments

Definition at line 61 of file NnarySmET.hpp.

template<typename... _Refs>
template<typename Is , typename = EnableIf<isIntSeq<Is>>>
static constexpr void SUNphi::UMinuser< _Refs >::assertMergeableWith ( )
inlinestatic

Assert that a given merging condition is valid

Definition at line 45 of file UnaryMinus.hpp.

template<typename... _Refs>
template<typename TC , int I = 0>
int SUNphi::UMinuser< _Refs >::compSize ( ) const
inline

Returns the size in the first found ref

TensKind of the I-th SmET

Check if the TensKind contains the TensComp asked

Definition at line 35 of file UnaryMinus.hpp.

template<typename... _Refs>
template<typename... Args>
decltype(auto) SUNphi::UMinuser< _Refs >::eval ( Args &&...  args) const
inline

Evaluator, external interface

Evaluate the function by usign a method called

representativeFunction, to be provided in the clas

passing to it the evaluation of each individual reference,

dispatching the components id by the name they have in the

reference

Definition at line 45 of file UnaryMinus.hpp.

template<typename... _Refs>
template<typename... Ts>
decltype(auto) SUNphi::UMinuser< _Refs >::eval ( Ts &&...  ts)
inline

Overload the eval const method passing all args

Parameters
tsArguments

Definition at line 45 of file UnaryMinus.hpp.

decltype(auto) SUNphi::NnarySmET< UMinuser< _Refs... > >::evalThroughRepresentativeFunctionPassingCompsByName ( IntSeq< I... >  ,
const Args &...  args 
) const
inlineinherited

< Components to get

Evaluate the result by calling a representative function

The result is obtained after splitting the components, identifying them trough the name of each TensComp

Definition at line 93 of file NnarySmET.hpp.

decltype(auto) SUNphi::NnarySmET< UMinuser< _Refs... > >::evalThroughRepresentativeFunctionPassingCompsByName ( Ts &&...  ts)
inlineinherited

Overload the evalThroughRepresentativeFunctionPassingCompsByName const method passing all args

Parameters
tsArguments

Definition at line 101 of file NnarySmET.hpp.

template<typename... _Refs>
decltype(auto) SUNphi::UMinuser< _Refs >::getMaximallyMergedCompsView ( )
inline

Returns the maximal possible merged comps view

Definition at line 45 of file UnaryMinus.hpp.

template<typename... _Refs>
template<typename Is >
decltype(auto) SUNphi::UMinuser< _Refs >::getMergedCompsView ( ) const
inline

Uses the representativeFunction to provide a merged view

Definition at line 45 of file UnaryMinus.hpp.

template<typename... _Refs>
template<typename... Ts>
decltype(auto) SUNphi::UMinuser< _Refs >::getMergedCompsView ( Ts &&...  ts)
inline

Overload the getMergedCompsView const method passing all args

Parameters
tsArguments

Definition at line 45 of file UnaryMinus.hpp.

template<typename... _Refs>
template<typename Tref >
bool SUNphi::UMinuser< _Refs >::isAliasing ( const Tref &  alias) const
inline

Forward aliasing check to the references

Definition at line 39 of file UnaryMinus.hpp.

template<typename... _Refs>
template<typename... Ts>
decltype(auto) SUNphi::UMinuser< _Refs >::mergedCompsViewAccordingToRepresentativeFunction ( Ts &&...  ts)
inline

Overload the mergedCompsViewAccordingToRepresentativeFunction const method passing all args

Parameters
tsArguments

Definition at line 45 of file UnaryMinus.hpp.

template<typename... _Refs>
template<int... Is, typename MDs >
decltype(auto) SUNphi::UMinuser< _Refs >::mergedCompsViewAccordingToRepresentativeFunction ( IntSeq< Is... >  ,
MDs   
) const
inline

Calls the representativeFunction with the merged view of each ref

Definition at line 45 of file UnaryMinus.hpp.

decltype(auto) SUNphi::SmET< UMinuser< _Refs... > >::operator() ( Oth &&...  oth)
inlineinherited

Implements the call operator via CRTP

Parameters
othOther quantit

Definition at line 289 of file BaseSmET.hpp.

decltype(auto) SUNphi::SmET< UMinuser< _Refs... > >::operator() ( Oth &&...  oth) const
inlineinherited

Implements the const call operator via CRTP

< Other quantit

Definition at line 290 of file BaseSmET.hpp.

UMinuser< _Refs... > & SUNphi::NnarySmET< UMinuser< _Refs... > >::operator~ ( )
inlineinherited

Cast operator to class T

Definition at line 46 of file NnarySmET.hpp.

const UMinuser< _Refs... > & SUNphi::NnarySmET< UMinuser< _Refs... > >::operator~ ( ) const
inlineinherited

Constant cast operator to class T

Definition at line 46 of file NnarySmET.hpp.

decltype(auto) SUNphi::NnarySmET< UMinuser< _Refs... > >::refEvalByCompsName ( Tp &&  targs) const
inlineinherited

< Components to get

Evaluate the I-th reference, getting from the Tuple targs the element Pos

External implementation, using PosOfResTcsPresInRefsTk to dispatch components

Position of TensComp of the reference Tk present in thr result

Definition at line 68 of file NnarySmET.hpp.

decltype(auto) SUNphi::NnarySmET< UMinuser< _Refs... > >::refEvalByCompsName ( Tp &&  targs)
inlineinherited

Evaluate the I-th reference, getting from the Tuple targs the element Pos

Non const version

Definition at line 82 of file NnarySmET.hpp.

template<typename... _Refs>
template<typename T >
static decltype(auto) SUNphi::UMinuser< _Refs >::representativeFunction ( T &&  t)
inlinestatic

Returns the opposite of the argument.

Parameters
tArgument to negate

Definition at line 30 of file UnaryMinus.hpp.

Member Data Documentation

constexpr bool SUNphi::NnarySmET< UMinuser< _Refs... > >::isAssignable
staticinherited

Returns whether this SmET can be the left hand of an assignement

This SmET can never be lhs

Definition at line 44 of file NnarySmET.hpp.

template<typename... _Refs>
constexpr bool SUNphi::UMinuser< _Refs >::isStoring = false
static

Returns whether this SmET is storing

This SmET is not storing

Definition at line 38 of file UnaryMinus.hpp.

template<typename... _Refs>
constexpr int SUNphi::UMinuser< _Refs >::NSmET = 1
static

Number or SmET to act upon

Definition at line 26 of file UnaryMinus.hpp.

template<typename... _Refs>
Tuple<Reference<_Refs>...> SUNphi::UMinuser< _Refs >::refs

Reference to the 1 object

Definition at line 26 of file UnaryMinus.hpp.


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