3.1.1.4.2 Definitions
The following functions are used to specify the behavior of several of the constructed attributes. They are collected together here because of the dependencies they have on each other.
Let SUPCLASSES (top) be the empty set. For other classes O, let SUPCLASSES(O) be the union of O!subClassOf and SUPCLASSES(O!subClassOf).
Let AUXCLASSES(O) be the union of
and O!auxiliaryClass
and AUXCLASSES(O!systemAuxiliaryClass)
and AUXCLASSES(O!auxiliaryClass)
and AUXCLASSES(C) for all C in SUPCLASSES(O)
Let SUBCLASSES(O) be the set of all C such that O is in SUPCLASSES(C).
Let POSSSUP_NOSUBCLASSES(O) be the union of
and O!possSuperiors
and POSSSUP_NOSUBCLASSES(C) for all C in SUPCLASSES(O)
Let POSSSUPERIORS(O) be the union of
POSSSUP_NOSUBCLASSES(O)
and SUBCLASSES(C) for all C in POSSSUP_NOSUBCLASSES(O)
Let CLASSATTS(O) be the union of
and O!systemMustContain
and O!mayContain
and O!systemMayContain
and CLASSATTS(C) for all C in SUPCLASSES(O)
and CLASSATTS(C) for all C in AUXCLASSES(O)
Let SPC(O) be true when O or any SUPCLASSES(O) is one of builtinDomain, samServer, samDomain, group, or user; and false, otherwise.