Template Function sequant::value_key_of

• Defined in File lifetime_mask.hpp

Function Documentation

template<meta::eval_node Node>
std::size_t sequant::value_key_of(Node const &n)

value_key of a forest node over its production subtree: its node id combined with the canonical positions (indices in canon_indices) of its home_scope modes and with its operands’ keys; equal to the node id when nothing in the subtree is home-sliced (see detail::value_key_impl).