expressionoperations.hh

#ifndef __DUNE_ACFEM_MODELS_EXPRESSIONOPERATIONS_HH__
#define __DUNE_ACFEM_MODELS_EXPRESSIONOPERATIONS_HH__
 
#include "../expressions/expressionoperations.hh"
#include "modeltraits.hh"
 
namespace Dune {
 
  namespace ACFem {
 
    namespace PDEModel {
 
      using namespace ModelIntrospection;
 
      template<class T>
      struct IsDedicatedOperation
        : FalseType
      {};
 
 
      template<class MethodTags>
      struct CropOperation
      {};
 
      template<class MethodTags>
      struct IsDedicatedOperation<CropOperation<MethodTags> >
        : TrueType
      {};
 
      template<class T>
      struct IsCropOperation
        : FalseType
      {};
 
      template<class MethodTags>
      struct IsCropOperation<CropOperation<MethodTags> >
        : TrueType
      {};
 
      template<class T>
      using IsCropExpression =
        BoolConstant<(Expressions::IsExpression<T>::value && IsCropOperation<Expressions::Operation<T> >::value)>;
 
 
      template<class MethodTags = ModelAdmissibleMethods,
               class ClosureCallSignatures = ModelMethodClosureSignatures>
      struct ClosureOperation
      {
        static_assert(MethodTags::size() == ClosureCallSignatures::size(),
                      "Each methods needs a designated closure signature.");
      };
 
      template<class MethodTags, class ClosureCallSignatures>
      struct IsDedicatedOperation<ClosureOperation<MethodTags, ClosureCallSignatures> >
        : TrueType
      {};
 
      template<class T>
      struct IsClosureOperation
        : FalseType
      {};
 
      template<class MethodTags, class ClosureSignatures>
      struct IsClosureOperation<ClosureOperation<MethodTags, ClosureSignatures> >
        : TrueType
      {};
 
      template<class T>
      using IsClosureExpression =
        BoolConstant<(Expressions::IsExpression<T>::value && IsClosureOperation<Expressions::Operation<T> >::value)>;
 
 
      struct RitzLoadFlavour
      {};
 
      struct L2LoadFlavour
      {};
 
      template<class Flavour>
      struct ApplyOperation
      {};
 
      template<class Flavour>
      struct IsDedicatedOperation<ApplyOperation<Flavour> >
        : TrueType
      {};
 
 
 
    } // NS PDEModel
 
    template<class T>
    using IsModelOperation = PDEModel::IsDedicatedOperation<T>;
 
  } // NS ACFem
 
} // NS Dune
 
#endif // __DUNE_ACFEM_MODELS_EXPRESSIONOPERATIONS_HH__