subspacelocalview.hh

// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
#ifndef DUNE_FUNCTIONS_FUNCTIONSPACEBASES_SUBSPACELOCALVIEW_HH
#define DUNE_FUNCTIONS_FUNCTIONSPACEBASES_SUBSPACELOCALVIEW_HH
 
 
#include <tuple>
 
#include <dune/common/concept.hh>
 
#include <dune/typetree/childextraction.hh>
 
#include <dune/functions/functionspacebases/concepts.hh>
 
 
 
namespace Dune {
namespace Functions {
 
 
 
template<class RB, class PP>
class SubspaceBasis;
 
 
 
template<class RLV, class PP>
class SubspaceLocalView
{
  using PrefixPath = PP;
 
public:
 
  using RootLocalView = RLV;
 
  using GlobalBasis = SubspaceBasis<typename RootLocalView::GlobalBasis, PrefixPath>;
 
  using GridView = typename GlobalBasis::GridView;
 
  using Element = typename GridView::template Codim<0>::Entity;
 
  using size_type = std::size_t;
 
  using RootTree = typename RootLocalView::Tree;
 
  using Tree = typename TypeTree::ChildForTreePath<RootTree, PrefixPath>;
 
  using MultiIndex = typename RootLocalView::MultiIndex;
 
  SubspaceLocalView(const GlobalBasis& globalBasis, const PrefixPath& /*prefixPath*/) :
    globalBasis_(&globalBasis),
    rootLocalView_(globalBasis.rootBasis().localView())
  {
//    static_assert(models<Concept::BasisTree<GridView>, Tree>(), "Tree type passed to SubspaceLocalView does not model the BasisNode concept.");
  }
 
  void bind(const Element& e)
  {
    rootLocalView_.bind(e);
  }
 
  const Element& element() const
  {
    return rootLocalView_.element();
  }
 
  void unbind()
  {
    rootLocalView_.unbind();
  }
 
  bool bound() const
  {
    return rootLocalView_.bound();
  }
 
  const Tree& tree() const
  {
    return TypeTree::child(rootLocalView_.tree(), globalBasis_->prefixPath());
  }
 
  size_type size() const
  {
    return rootLocalView_.size();
  }
 
  size_type maxSize() const
  {
    return rootLocalView_.maxSize();
  }
 
  MultiIndex index(size_type i) const
  {
    return rootLocalView_.index(i);
  }
 
  const GlobalBasis& globalBasis() const
  {
    return *globalBasis_;
  }
 
  const RootLocalView& rootLocalView() const
  {
    return rootLocalView_;
  }
 
protected:
  const GlobalBasis* globalBasis_;
  RootLocalView rootLocalView_;
};
 
 
 
} // end namespace Functions
} // end namespace Dune
 
 
 
#endif // DUNE_FUNCTIONS_FUNCTIONSPACEBASES_SUBSPACELOCALVIEW_HH