2020-10-15 18:20:00 +00:00
|
|
|
<!-- Generated with Stardoc: http://skydoc.bazel.build -->
|
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
Skylib module containing common hash-set algorithms.
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
An empty set can be created using: `sets.make()`, or it can be created with some starting values
|
|
|
|
if you pass it an sequence: `sets.make([1, 2, 3])`. This returns a struct containing all of the
|
|
|
|
values as keys in a dictionary - this means that all passed in values must be hashable. The
|
|
|
|
values in the set can be retrieved using `sets.to_list(my_set)`.
|
2021-10-27 13:13:59 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
An arbitrary object can be tested whether it is a set generated by `sets.make()` or not with the
|
|
|
|
`types.is_set()` method in types.bzl.
|
2021-10-27 13:13:59 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
<a id="sets.contains"></a>
|
2021-10-27 13:13:59 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
## sets.contains
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
<pre>
|
2024-04-24 21:40:06 +00:00
|
|
|
sets.contains(<a href="#sets.contains-a">a</a>, <a href="#sets.contains-e">e</a>)
|
2019-02-28 22:43:57 +00:00
|
|
|
</pre>
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
Checks for the existence of an element in a set.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
|
|
|
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.contains-a"></a>a | A set, as returned by `sets.make()`. | none |
|
|
|
|
| <a id="sets.contains-e"></a>e | The element to look for. | none |
|
2021-10-27 13:13:59 +00:00
|
|
|
|
|
|
|
**RETURNS**
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
True if the element exists in the set, False if the element does not.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
|
2022-08-30 18:57:34 +00:00
|
|
|
<a id="sets.copy"></a>
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2019-02-28 22:43:57 +00:00
|
|
|
## sets.copy
|
|
|
|
|
|
|
|
<pre>
|
|
|
|
sets.copy(<a href="#sets.copy-s">s</a>)
|
|
|
|
</pre>
|
|
|
|
|
|
|
|
Creates a new set from another set.
|
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
|
|
|
|
|
|
|
|
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.copy-s"></a>s | A set, as returned by `sets.make()`. | none |
|
2021-10-27 13:13:59 +00:00
|
|
|
|
|
|
|
**RETURNS**
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
A new set containing the same elements as `s`.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
<a id="sets.difference"></a>
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
## sets.difference
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
<pre>
|
2024-04-24 21:40:06 +00:00
|
|
|
sets.difference(<a href="#sets.difference-a">a</a>, <a href="#sets.difference-b">b</a>)
|
2019-02-28 22:43:57 +00:00
|
|
|
</pre>
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
Returns the elements in `a` that are not in `b`.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
|
|
|
|
|
|
|
|
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.difference-a"></a>a | A set, as returned by `sets.make()`. | none |
|
|
|
|
| <a id="sets.difference-b"></a>b | A set, as returned by `sets.make()`. | none |
|
2021-10-27 13:13:59 +00:00
|
|
|
|
|
|
|
**RETURNS**
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
A set containing the elements that are in `a` but not in `b`.
|
|
|
|
|
|
|
|
|
|
|
|
<a id="sets.disjoint"></a>
|
|
|
|
|
|
|
|
## sets.disjoint
|
|
|
|
|
|
|
|
<pre>
|
|
|
|
sets.disjoint(<a href="#sets.disjoint-a">a</a>, <a href="#sets.disjoint-b">b</a>)
|
|
|
|
</pre>
|
|
|
|
|
|
|
|
Returns whether two sets are disjoint.
|
|
|
|
|
|
|
|
Two sets are disjoint if they have no elements in common.
|
|
|
|
|
|
|
|
|
|
|
|
**PARAMETERS**
|
|
|
|
|
|
|
|
|
|
|
|
| Name | Description | Default Value |
|
|
|
|
| :------------- | :------------- | :------------- |
|
|
|
|
| <a id="sets.disjoint-a"></a>a | A set, as returned by `sets.make()`. | none |
|
|
|
|
| <a id="sets.disjoint-b"></a>b | A set, as returned by `sets.make()`. | none |
|
|
|
|
|
|
|
|
**RETURNS**
|
|
|
|
|
|
|
|
True if `a` and `b` are disjoint, False otherwise.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
|
2022-08-30 18:57:34 +00:00
|
|
|
<a id="sets.insert"></a>
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2019-02-28 22:43:57 +00:00
|
|
|
## sets.insert
|
|
|
|
|
|
|
|
<pre>
|
|
|
|
sets.insert(<a href="#sets.insert-s">s</a>, <a href="#sets.insert-e">e</a>)
|
|
|
|
</pre>
|
|
|
|
|
|
|
|
Inserts an element into the set.
|
|
|
|
|
2019-05-01 17:38:59 +00:00
|
|
|
Element must be hashable. This mutates the original set.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
|
|
|
|
|
|
|
|
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.insert-s"></a>s | A set, as returned by `sets.make()`. | none |
|
2021-10-27 13:13:59 +00:00
|
|
|
| <a id="sets.insert-e"></a>e | The element to be inserted. | none |
|
|
|
|
|
|
|
|
**RETURNS**
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
The set `s` with `e` included.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
<a id="sets.intersection"></a>
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
## sets.intersection
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
<pre>
|
2024-04-24 21:40:06 +00:00
|
|
|
sets.intersection(<a href="#sets.intersection-a">a</a>, <a href="#sets.intersection-b">b</a>)
|
2019-02-28 22:43:57 +00:00
|
|
|
</pre>
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
Returns the intersection of two sets.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
|
|
|
|
|
|
|
|
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.intersection-a"></a>a | A set, as returned by `sets.make()`. | none |
|
|
|
|
| <a id="sets.intersection-b"></a>b | A set, as returned by `sets.make()`. | none |
|
2021-10-27 13:13:59 +00:00
|
|
|
|
|
|
|
**RETURNS**
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
A set containing the elements that are in both `a` and `b`.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
|
2022-08-30 18:57:34 +00:00
|
|
|
<a id="sets.is_equal"></a>
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2019-02-28 22:43:57 +00:00
|
|
|
## sets.is_equal
|
|
|
|
|
|
|
|
<pre>
|
|
|
|
sets.is_equal(<a href="#sets.is_equal-a">a</a>, <a href="#sets.is_equal-b">b</a>)
|
|
|
|
</pre>
|
|
|
|
|
|
|
|
Returns whether two sets are equal.
|
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
|
|
|
|
|
|
|
|
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.is_equal-a"></a>a | A set, as returned by `sets.make()`. | none |
|
|
|
|
| <a id="sets.is_equal-b"></a>b | A set, as returned by `sets.make()`. | none |
|
2021-10-27 13:13:59 +00:00
|
|
|
|
|
|
|
**RETURNS**
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
True if `a` is equal to `b`, False otherwise.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
|
2022-08-30 18:57:34 +00:00
|
|
|
<a id="sets.is_subset"></a>
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2019-02-28 22:43:57 +00:00
|
|
|
## sets.is_subset
|
|
|
|
|
|
|
|
<pre>
|
|
|
|
sets.is_subset(<a href="#sets.is_subset-a">a</a>, <a href="#sets.is_subset-b">b</a>)
|
|
|
|
</pre>
|
|
|
|
|
|
|
|
Returns whether `a` is a subset of `b`.
|
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
|
|
|
|
|
|
|
|
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.is_subset-a"></a>a | A set, as returned by `sets.make()`. | none |
|
|
|
|
| <a id="sets.is_subset-b"></a>b | A set, as returned by `sets.make()`. | none |
|
2021-10-27 13:13:59 +00:00
|
|
|
|
|
|
|
**RETURNS**
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
True if `a` is a subset of `b`, False otherwise.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
<a id="sets.length"></a>
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
## sets.length
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
<pre>
|
2024-04-24 21:40:06 +00:00
|
|
|
sets.length(<a href="#sets.length-s">s</a>)
|
2019-02-28 22:43:57 +00:00
|
|
|
</pre>
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
Returns the number of elements in a set.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
|
|
|
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.length-s"></a>s | A set, as returned by `sets.make()`. | none |
|
2021-10-27 13:13:59 +00:00
|
|
|
|
|
|
|
**RETURNS**
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
An integer representing the number of elements in the set.
|
2020-10-15 18:20:00 +00:00
|
|
|
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
<a id="sets.make"></a>
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
## sets.make
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
<pre>
|
2024-04-24 21:40:06 +00:00
|
|
|
sets.make(<a href="#sets.make-elements">elements</a>)
|
2019-02-28 22:43:57 +00:00
|
|
|
</pre>
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
Creates a new set.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
All elements must be hashable.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
|
|
|
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.make-elements"></a>elements | Optional sequence to construct the set out of. | `None` |
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
**RETURNS**
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
A set containing the passed in values.
|
2021-10-27 13:13:59 +00:00
|
|
|
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
<a id="sets.remove"></a>
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
## sets.remove
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
<pre>
|
2024-04-24 21:40:06 +00:00
|
|
|
sets.remove(<a href="#sets.remove-s">s</a>, <a href="#sets.remove-e">e</a>)
|
2019-02-28 22:43:57 +00:00
|
|
|
</pre>
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
Removes an element from the set.
|
|
|
|
|
|
|
|
Element must be hashable. This mutates the original set.
|
|
|
|
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
|
|
|
|
|
|
|
|
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.remove-s"></a>s | A set, as returned by `sets.make()`. | none |
|
|
|
|
| <a id="sets.remove-e"></a>e | The element to be removed. | none |
|
2021-10-27 13:13:59 +00:00
|
|
|
|
|
|
|
**RETURNS**
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
The set `s` with `e` removed.
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
<a id="sets.repr"></a>
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
## sets.repr
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
<pre>
|
2024-04-24 21:40:06 +00:00
|
|
|
sets.repr(<a href="#sets.repr-s">s</a>)
|
2019-02-28 22:43:57 +00:00
|
|
|
</pre>
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
Returns a string value representing the set.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.repr-s"></a>s | A set, as returned by `sets.make()`. | none |
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
**RETURNS**
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
A string representing the set.
|
2021-10-27 13:13:59 +00:00
|
|
|
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
<a id="sets.str"></a>
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
## sets.str
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
<pre>
|
2024-04-24 21:40:06 +00:00
|
|
|
sets.str(<a href="#sets.str-s">s</a>)
|
2019-02-28 22:43:57 +00:00
|
|
|
</pre>
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
Returns a string value representing the set.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
|
|
|
|
|
|
|
|
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.str-s"></a>s | A set, as returned by `sets.make()`. | none |
|
2021-10-27 13:13:59 +00:00
|
|
|
|
|
|
|
**RETURNS**
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
A string representing the set.
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
<a id="sets.to_list"></a>
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
## sets.to_list
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
<pre>
|
2024-04-24 21:40:06 +00:00
|
|
|
sets.to_list(<a href="#sets.to_list-s">s</a>)
|
2019-02-28 22:43:57 +00:00
|
|
|
</pre>
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
Creates a list from the values in the set.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.to_list-s"></a>s | A set, as returned by `sets.make()`. | none |
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2021-10-27 13:13:59 +00:00
|
|
|
**RETURNS**
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
A list of values inserted into the set.
|
2021-10-27 13:13:59 +00:00
|
|
|
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
<a id="sets.union"></a>
|
2020-10-15 18:20:00 +00:00
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
## sets.union
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
<pre>
|
2024-04-24 21:40:06 +00:00
|
|
|
sets.union(<a href="#sets.union-args">args</a>)
|
2019-02-28 22:43:57 +00:00
|
|
|
</pre>
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
Returns the union of several sets.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
2020-10-15 18:20:00 +00:00
|
|
|
**PARAMETERS**
|
|
|
|
|
|
|
|
|
|
|
|
| Name | Description | Default Value |
|
2021-10-27 13:13:59 +00:00
|
|
|
| :------------- | :------------- | :------------- |
|
2024-04-24 21:40:06 +00:00
|
|
|
| <a id="sets.union-args"></a>args | An arbitrary number of sets. | none |
|
2021-10-27 13:13:59 +00:00
|
|
|
|
|
|
|
**RETURNS**
|
|
|
|
|
2024-04-24 21:40:06 +00:00
|
|
|
The set union of all sets in `*args`.
|
2019-02-28 22:43:57 +00:00
|
|
|
|
|
|
|
|