Lines Matching refs:intersection

25 Functions and operators that are related to ['*intersection*] on *icl* objects
31 [[`Sets`][Intersection on Sets implements ['*set intersection*]]]
32 …[`Maps`][Intersection on Maps implements a ['*map intersection*] function similar to /set intersec…
33           If, on intersection, an element value pair `(k,v)` it's key `k` is in the map 
34           already, the intersection function is propagated to the associated value,
37           If the codomain_type has no intersection operation, associated 
39           results in an addition on the intersection of the domains of
40           the intersected sets. For total maps intersection and
44 ….semantics.quantifiers__maps_of_numbers.intersection_on_quantifiers ['intersection on Maps of numb…
62 allows to accumulate the intersection of `y` and `x` in the first argument `result`. 
63 `Result` might already contain data. In this case the intersection of `y` and `x` 
72 This might be convenient, if intersection is used like a generalized selection function.
110 type combinations for the intersection `operator &=`.
124 While intersection on maps can be viewed as
125 a ['*generalisation of set intersection*]. The
130 So we have a ['*generalized intersection*] for
134 /* (Generalized) intersection */   &= | e b s m            &= | e i b p S M  
152 for Sets in the function ['*set intersection*].
154 Complexity characteristics for inplace intersection operations are 
161 [table Time Complexity for inplace intersection on element containers
167 [table Time Complexity for inplace intersection on interval containers
177 For the *icl's* infix intersection the
200 the ['*generalized intersection] on interval containers
205 /* (Generalized) intersection */   &  | e b s m            &  | e  i  b  p  S1 S2 S3 M1 M3