Concepts.hpp

#pragma once
 
#include <type_traits>
 
#include <dune/common/typetree/childaccess.hh>
#include <dune/common/typetree/nodeconcepts.hh>
#include <dune/common/typetree/treepath.hh>
 
#include <amdis/typetree/TreePath.hpp>
#include <amdis/typetree/NodeTags.hpp>
 
namespace AMDiS {
namespace Traits {
 
template <class Tree, class TreePath, class NodeTag = AMDiS::NodeTag_t<Tree>>
struct IsValidTreePath;
 
// empty treepath
template <class Tree, class NodeTag>
struct IsValidTreePath<Tree, Dune::TypeTree::TreePath<>, NodeTag>
    : std::true_type {};
 
// leaf nodes
template <class Tree, class I0, class... II>
struct IsValidTreePath<Tree, Dune::TypeTree::TreePath<I0,II...>, AMDiS::LeafNodeTag>
    : std::false_type {};
 
// dynamic power nodes
template <class Tree, class I0, class... II>
struct IsValidTreePath<Tree, Dune::TypeTree::TreePath<I0,II...>, AMDiS::DynamicPowerNodeTag>
    : IsValidTreePath<Dune::TypeTree::Child<Tree,0>, Dune::TypeTree::TreePath<II...>> {};
 
// power nodes
template <class Tree, class I0, class... II>
struct IsValidTreePath<Tree, Dune::TypeTree::TreePath<I0,II...>, AMDiS::PowerNodeTag>
    : IsValidTreePath<Dune::TypeTree::Child<Tree,0>, Dune::TypeTree::TreePath<II...>> {};
 
// composite node with integer index
template <class Tree, class I0, class... II>
struct IsValidTreePath<Tree, Dune::TypeTree::TreePath<I0,II...>, AMDiS::CompositeNodeTag>
    : std::false_type {};
 
// composite node with integral-constant index
template <class Tree, class Int, Int i, class... II>
struct IsValidTreePath<Tree, Dune::TypeTree::TreePath<std::integral_constant<Int,i>,II...>, AMDiS::CompositeNodeTag>
    : std::conditional_t<(i >= 0 && i < Int(Tree::degree())),
        IsValidTreePath<typename Tree::template Child<(i >= 0 && i < Int(Tree::degree())) ? i : 0>::Type, Dune::TypeTree::TreePath<II...>>,
        std::false_type> {};
 
} // end namespace Traits
 
 
namespace Concepts {
 
template <class Tree, class Path>
static constexpr bool ValidTreePath = Traits::IsValidTreePath<Tree,TYPEOF(makeTreePath(std::declval<Path>()))>::value;
 
} // end namespace Concepts
} // end namespace AMDiS