UML23 — Cyclick dependency

1)
In paragraph "7.3.8 Classifier (from Kernel, Dependencies, PowerTypes)" is constraint:
[4] self.inheritedMember->includesAll(self.inherit(self.parents()->collect(p | p.inheritableMembers(self)))

2)
inheritableMembers() is query with definition:
[4] Classifier::inheritableMembers(c: Classifier): Set(NamedElement);
pre: c.allParents()->includes(self)
inheritableMembers = member->select(m | c.hasVisibilityOf(m))

3)
hasVisibilityOf() is query with definition:
[5] Classifier::hasVisibilityOf(n: NamedElement) : Boolean;
pre: self.allParents()>collect(c | c.member)>includes
if (self.inheritedMember->includes) then
hasVisibilityOf = (n.visibility <> #private)
else
hasVisibilityOf = true

This issue has already been resolved by, or no longer applies to, the UML 2.5 Beta 1 specification.
Disposition: Closed - No Change