is_child: Is index i_child a child of index i_parent?
ASSERT: i_child is of the form (i_parent XOR i_help),
with i_help having exactly one non-zero bit
Description
Is index i_child a child of index i_parent?
ASSERT: i_child is of the form (i_parent XOR i_help),
with i_help having exactly one non-zero bit
Usage
is_child(i_child, i_parent)