Member predicate Attribute::hasName

Holds if the name of this attribute is name.

predicate hasName(string name)