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

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

#include <Conj.hpp>

Inheritance diagram for SUNphi::Conjer< _Refs >:
SUNphi::BaseConjer SUNphi::NnarySmET< Conjer< _Refs... > > SUNphi::ConstrainAreSmETs< _Refs... > SUNphi::SmET< Conjer< _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
 TensorKind of the bound expression. More...
 
using Fund = typename RemRef< Ref< 0 >>::Fund
 
using PosOfResTcsInRefsTk = PosOfTcsOfTkInListOfTks< Tk, typename RemRef< _Refs >::Tk... >
 
using PosOfResTcsPresInRefsTk = PosOfTcsOfTkPresInListOfTks< Tk, typename RemRef< _Refs >::Tk... >
 
using ExtraDelims = IntSeq< posOfCompl, posOfCompl+1 >
 
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... SMETS>
 Conjer (SMETS &&...smets)
 
template<typename... Args>
auto eval (Args &&...args) const
 Evaluator for Conjer. More...
 
Conjer< _Refs... > & operator~ ()
 
const Conjer< _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 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 int posOfCompl
 Position of the Compl component. More...
 
static constexpr bool isStoring = false
 
static constexpr bool isAssignable
 

Detailed Description

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

Class to take the conjugate of a SmET.

Definition at line 21 of file Conj.hpp.

Member Typedef Documentation

template<typename... _Refs>
using SUNphi::Conjer< _Refs >::ExtraDelims = IntSeq<posOfCompl,posOfCompl+1>

Additional delimiters

Definition at line 48 of file Conj.hpp.

template<typename... _Refs>
using SUNphi::Conjer< _Refs >::Fund = typename RemRef<Ref< 0 >>::Fund

Same Fund as Ref 0

Definition at line 44 of file Conj.hpp.

template<typename... _Refs>
using SUNphi::Conjer< _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 50 of file Conj.hpp.

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

Position of all the Result TensComp in each Refs Tk

Definition at line 46 of file Conj.hpp.

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

Position of all the Result TensComp present in each Refs Tk

Definition at line 46 of file Conj.hpp.

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

Type of I-th SmET

Definition at line 29 of file Conj.hpp.

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

Type of the binding references

Definition at line 29 of file Conj.hpp.

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

TensorKind of the bound expression.

Same TensKind as Ref 0

Definition at line 42 of file Conj.hpp.

Constructor & Destructor Documentation

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

Constructor taking universal reference

Definition at line 54 of file Conj.hpp.

Member Function Documentation

decltype(auto) SUNphi::NnarySmET< Conjer< _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< Conjer< _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::Conjer< _Refs >::assertMergeableWith ( )
inlinestatic

Assert that a given merging condition is valid

Definition at line 50 of file Conj.hpp.

template<typename... _Refs>
template<typename TC , int I = 0>
int SUNphi::Conjer< _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 Conj.hpp.

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

Evaluator for Conjer.

Detect if we have to put "-" in the result

Temporary result

Parameters
argsComponents to get

Definition at line 58 of file Conj.hpp.

decltype(auto) SUNphi::NnarySmET< Conjer< _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< Conjer< _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::Conjer< _Refs >::getMaximallyMergedCompsView ( )
inline

Returns the maximal possible merged comps view

Definition at line 50 of file Conj.hpp.

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

Overload the getMergedCompsView const method passing all args

Parameters
tsArguments

Definition at line 52 of file Conj.hpp.

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

Uses the representativeFunction to provide a merged view

Definition at line 52 of file Conj.hpp.

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

Forward aliasing check to the references

Definition at line 39 of file Conj.hpp.

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

Calls the representativeFunction with the merged view of each ref

Definition at line 52 of file Conj.hpp.

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

Overload the mergedCompsViewAccordingToRepresentativeFunction const method passing all args

Parameters
tsArguments

Definition at line 52 of file Conj.hpp.

decltype(auto) SUNphi::SmET< Conjer< _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< Conjer< _Refs... > >::operator() ( Oth &&...  oth) const
inlineinherited

Implements the const call operator via CRTP

< Other quantit

Definition at line 290 of file BaseSmET.hpp.

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

Cast operator to class T

Definition at line 46 of file NnarySmET.hpp.

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

Constant cast operator to class T

Definition at line 46 of file NnarySmET.hpp.

decltype(auto) SUNphi::NnarySmET< Conjer< _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< Conjer< _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.

Member Data Documentation

constexpr bool SUNphi::NnarySmET< Conjer< _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::Conjer< _Refs >::isStoring = false
static

Returns whether this SmET is storing

This SmET is not storing

Definition at line 38 of file Conj.hpp.

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

Number or SmET to act upon

Definition at line 29 of file Conj.hpp.

template<typename... _Refs>
constexpr int SUNphi::Conjer< _Refs >::posOfCompl
static
Initial value:
=
posOfType<Compl,typename TkOf<Ref<0>>::types>

Position of the Compl component.

Definition at line 32 of file Conj.hpp.

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

Reference to the 1 object

Definition at line 29 of file Conj.hpp.


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