Predicate PointsTo::PointsTo::Types::class_has_attribute_bool

Gets true if the class cls is known to have attribute name, or false if the class cls is known to not have attribute name.

boolean class_has_attribute_bool(ClassObject cls, string name)