Member predicate Class::Class::hasVirtualBaseClass

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

predicate hasVirtualBaseClass(Class base)