Returns whether the access scope outer contains the access scope inner. More precisely, whether for each access scope a, if Influences(inner, a) then Influences(outer, a).

Determines, whether the two given access scopes first and second overlap. More precisely, whether two access contexts a and b exist which are not in a child–parent relationship and there are no operations between a and b and where a and b have exactly the access scope first or second respectively and a and b each contain a sequence of operations in a an b and after a and b exists a sequence of operations so that the result or a side effect of a method in a or b or after a and b depends substantially on the order of a and b. Additionally this method may be used to specify whether operations can be executed in parallel or not.

Returns the intersection of first and second. More precisely, returns an access scope a, which is both contained in first and second and where there is no access scope b which is both contained in first and second and which is not contained in a.