Predicate childrenByElement

The same as children(), except that the label is an element.

Import path

import semmle.code.cpp.pointsto.PointsTo
predicate childrenByElement(int parentset, Element label, int childset)