Member predicate Element::hasName

Holds if this element has the specified name.

predicate hasName(string name)