localfunctionjacobianplaceholder.hh

#ifndef __DUNE_ACFEM_FUNCTIONS_PLACEHOLDERS_LOCALFUNCTIONJACOBIANPLACEHOLDER_HH__
#define __DUNE_ACFEM_FUNCTIONS_PLACEHOLDERS_LOCALFUNCTIONJACOBIANPLACEHOLDER_HH__
 
#include "../policy.hh"
#include "../localfunctiontraits.hh"
#include "../../tensors/operations/indeterminate.hh"
#include "../../tensors/operations/placeholder.hh"
#include "../../tensors/bindings/dune/fieldtensor.hh"
 
namespace Dune {
 
  namespace ACFem {
 
    namespace GridFunction {
 
      using namespace Literals;
      using Tensor::PlaceholderTensor;
      using Tensor::FieldVectorTensor;
      using Tensor::ScalarDecayFieldTensor;
 
      template<class LocalFunction, std::size_t IndeterminateId = Policy::indeterminateId()>
      class LocalFunctionJacobianPlaceholder
        : public PlaceholderTensor<ScalarDecayFieldTensor<typename std::decay_t<LocalFunction>::JacobianRangeType>, LocalFunctionJacobianPlaceholder<LocalFunction, IndeterminateId> >
      {
        using ThisType = LocalFunctionJacobianPlaceholder;
        using BaseType = PlaceholderTensor<ScalarDecayFieldTensor<typename std::decay_t<LocalFunction>::JacobianRangeType>, ThisType>;
       public:
        using LocalFunctionType = std::decay_t<LocalFunction>;
        using DomainType = typename LocalFunctionType::DomainType;
        using JacobianRangeType = typename LocalFunctionType::JacobianRangeType;
        using TensorType = ScalarDecayFieldTensor<JacobianRangeType>;
        using GridPartType = typename LocalFunctionType::GridPartType;
        using EntityType = typename LocalFunctionType::EntityType;
 
        static constexpr std::size_t indeterminateId_ = IndeterminateId;
 
        using BaseType::operand;
 
        template<class Arg, std::enable_if_t<std::is_constructible<LocalFunction, Arg>::value, int> = 0>
        LocalFunctionJacobianPlaceholder(Arg&& localFunction)
          : BaseType(TensorType(), Expressions::Functor<BaseType>{})
          , localFunction_(std::forward<Arg>(localFunction))
        {}
 
        constexpr unsigned int order() const
        {
          return localFunction_.gridFunction().order() - 1;
        }
 
        template<class Point,
                 std::enable_if_t<(IsQuadraturePoint<Point>::value || IsFieldVector<Point>::value), int> = 0>
        void setValue(const Point& point)
        {
          assert(localFunction_.entity() != EntityType());
          if constexpr ((TensorTraits<JacobianRangeType>::rank - TensorTraits<TensorType>::rank) == 1
                          && TensorTraits<JacobianRangeType>::template dim<0>() == 1)
            operand(0_c) = localFunction_.jacobian(point)[0];
          else
            operand(0_c) = localFunction_.jacobian(point);
        }
 
        void bind(const EntityType& entity)
        {
          localFunction_.bind(entity);
        }
 
        void unbind()
        {
          localFunction_.unbind();
        }
 
        LocalFunction localFunction() &&
        {
          return localFunction_;
        }
 
        auto& localFunction() &
        {
          return localFunction_;
        }
 
        const auto& localFunction() const&
        {
          return localFunction_;
        }
 
        const auto& gridPart() const
        {
          return localFunction_.gridFunction().gridPart();
        }
 
        static constexpr std::size_t indeterminateId()
        {
          return indeterminateId_;
        }
 
        std::string name() const
        {
          // use gridfunction name
          return "D"+localFunction_.gridFunction().name() +"(X["+toString(indeterminateId_)+"])";
        }
 
       private:
        LocalFunction localFunction_;
      };
 
      template<class T, class SFINAE = void>
      struct IsLocalFunctionJacobianPlaceholder
        : FalseType
      {};
 
      template<class T>
      struct IsLocalFunctionJacobianPlaceholder<T, std::enable_if_t<!IsDecay<T>::value> >
        : IsLocalFunctionJacobianPlaceholder<std::decay_t<T> >
      {};
 
      template<class LocalFunction, std::size_t IndeterminateId>
      struct IsLocalFunctionJacobianPlaceholder<LocalFunctionJacobianPlaceholder<LocalFunction, IndeterminateId> >
        : TrueType
      {};
 
      template<class F,
               std::size_t IndeterminateId = Policy::indeterminateId(),
               class Closure = Expressions::Closure,
               std::enable_if_t<IsConstLocalFunction<F>::value, int> = 0>
      auto localFunctionJacobianPlaceholder(F&& f, IndexConstant<IndeterminateId> id = IndexConstant<IndeterminateId>{}, Closure closure = Closure{})
      {
        return closure(LocalFunctionJacobianPlaceholder<F, IndeterminateId>(std::forward<F>(f)));
      }
 
      template<
        class F,
        std::size_t IndeterminateId = Policy::indeterminateId(),
        class Closure = Expressions::Closure,
        std::enable_if_t<IsWrappableByConstLocalFunction<F>::value, int> = 0>
      auto localFunctionJacobianPlaceholder(F&& f, IndexConstant<IndeterminateId> id = IndexConstant<IndeterminateId>{})
      {
        return localFunctionJacobianPlaceholder(ensureConstLocalFunction(std::forward<F>(f)), id, Closure{});
      }
 
 
    } // NS GridFunction
 
  } // NS ACFem
 
  template<class LocalFunction, std::size_t IndeterminateId>
  struct FieldTraits<ACFem::GridFunction::LocalFunctionJacobianPlaceholder<LocalFunction, IndeterminateId> >
    : FieldTraits<ACFem::GridFunction::PlaceholderTensor<ACFem::Tensor::FieldVectorTensor<typename std::decay_t<LocalFunction>::JacobianRangeType>, ACFem::GridFunction::LocalFunctionJacobianPlaceholder<LocalFunction, IndeterminateId> > >
  {};
 
} // NS Dune
 
#endif //  __DUNE_ACFEM_FUNCTIONS_PLACEHOLDERS_LOCALFUNCTIONJACOBIANPLACEHOLDER_HH__