Member predicate MetricClass :: distinctMembers
Holds if m1
and m2
are distinct member functions of this class.
predicate
distinctMembers
(
MemberFunction
m1
,
MemberFunction
m2
)