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