Template Function sequant::detail::value_key_impl

• Defined in File lifetime_mask.hpp

Function Documentation

template<meta::eval_node Node>
std::pair<std::size_t, bool> sequant::detail::value_key_impl(Node const &n)

(key, any node of the subtree is home-sliced). The key is over the production subtree: a node’s own id and home-sliced positions combined with its operands’ keys &#8212; a value that reduces a differently-sliced operand in another nest is a different production, hence a different value (the recursive, whole-subtree form of the node’s own canonical identity). A subtree with nothing home-sliced keys to the node id.