Member predicate Class::Class::hasPublicBaseClass

Holds if this class has a public class derivation, for example the “public B” in “class D : public B { … };”.

predicate hasPublicBaseClass(Class base)