Member predicate ClassDerivation :: isVirtual
Holds if the derivation is for a virtual base class.
predicate
isVirtual
(
)