Searched refs:disjoint (Results 1 – 6 of 6) sorted by path
| /plugin/combo/vendor/antlr/antlr4-php-runtime/src/ |
| H A D | Interval.php | 71 * Does this.a start after other.b? May or may not be disjoint.
96 * Are both ranges disjoint? I.e., no overlap?
98 public function disjoint(Interval $other) : bool function in Antlr\\Antlr4\\Runtime\\Interval
|
| H A D | IntervalSet.php | 215 if ($addition->adjacent($resilt) || !$addition->disjoint($resilt)) {
226 if (!$bigger->adjacent($next) && $bigger->disjoint($next)) {
250 // if disjoint and after r, a future iteration will handle it
253 // ok, must be after last interval (and disjoint from last interval) just add it
273 // Binary search for the element in the (sorted, disjoint) array of intervals.
|
| /plugin/elasticsearch/vendor/elasticsearch/elasticsearch/docs/build/Elasticsearch/ |
| H A D | Client.asciidoc | 542 $params['pre_filter_shard_size'] = (number) A threshold that enforces a pre-filter roundtrip to prefilter search shards based on query rewriting if the number of shards the search request expands to exceeds the threshold. This filter roundtrip can limit the number of shards significantly if for instance a shard can not match any documents based on its rewrite method ie. if date filters are mandatory to match but the shard bounds and the query are disjoint.
|
| /plugin/geophp/vendor/funiq/geophp/src/Geometry/ |
| H A D | Geometry.php | 740 public function disjoint(Geometry $geometry) function in geoPHP\\Geometry\\Geometry
744 return $this->getGeos()->disjoint($geometry->getGeos());
|
| /plugin/ol3/ |
| H A D | script.js | 8 …ter.contains=function(t,e,r){return new aE(t,e,r)}||{},wO.format.filter.disjoint=function(t,e,r){r…
|
| /plugin/openlayersmap/ol7/ |
| H A D | ol.js.map | |