Member predicate Class::Class::hasDestructor

Holds if this class has a destructor.

predicate hasDestructor()