diff options
| author | Mikhail Yashkov <[email protected]> | 2016-10-23 17:52:07 +0300 |
|---|---|---|
| committer | Mikhail Yashkov <[email protected]> | 2016-11-08 17:58:17 +0300 |
| commit | cc939d5efc19484ba09a4fdcd8c70e9718026592 (patch) | |
| tree | eee2075ec631ddf473f8447cfb1b4f2d55c2544b /plt | |
| parent | b36d72178ed0739d6bf71a8047ae0a026ceb4a64 (diff) | |
| download | otp-cc939d5efc19484ba09a4fdcd8c70e9718026592.tar.gz otp-cc939d5efc19484ba09a4fdcd8c70e9718026592.tar.bz2 otp-cc939d5efc19484ba09a4fdcd8c70e9718026592.zip | |
Speed up sets:add_element/2 and sets:del_element/2
Optimize sets:add_element/2 when adding an element that is already present, and
sets:del_element/2 when the element to be deleted is not present. This optimization
can make certain operations, such as sets:union/2 with many overlapping elements,
up to two orders of magnitude faster.
Diffstat (limited to 'plt')
0 files changed, 0 insertions, 0 deletions