Model of an inner node of a typetree with compile time known degree and child access via index_constant.
More...
template<class Node>
{
std::remove_cvref_t<Node>::degree();
requires Impl::HasConstExprDegree<Node> and Impl::HasPositiveDegree<Node>;
node.child(
index_constant<(std::remove_cvref_t<Node>::degree()-1)>());
}
std::integral_constant< std::size_t, i > index_constant
An index constant with value i.
Definition indices.hh:29
Check if T is an integral constant or any type derived from std::integral_constant.
Definition typetraits.hh:411
Model of a node of a typetree.
Definition nodeconcepts.hh:34
Model of an inner node of a typetree with compile time known degree and child access via index_consta...
Definition nodeconcepts.hh:41
Model of an inner node of a typetree with compile time known degree and child access via index_constant.