37aa0159ea
[sledge] Add Set.pop_min_elt_exn
...
Differential Revision: D29441151
fbshipit-source-id: b317d6458
3 years ago
1274bd0d46
[sledge] Optimize equality solver on sequences using super-term index
...
Summary:
Update the first-order equality solver for the sequence theory to
avoid searching the whole representation now that the super-term index
is maintained.
Reviewed By: jvillard
Differential Revision: D26338015
fbshipit-source-id: 24a9a19b6
4 years ago
d298eb1bad
[sledge] Optimize Set operations
...
Reviewed By: jvillard
Differential Revision: D26338013
fbshipit-source-id: 3a21efa9b
4 years ago
dfd897d9e4
[sledge] Switch Zero-One-Many type to a standard variant
...
Reviewed By: jvillard
Differential Revision: D26338018
fbshipit-source-id: 4fe5aea9f
4 years ago
cbe6872731
[sledge] Adapt NSSet to Comparer interface
...
Reviewed By: jvillard
Differential Revision: D26250522
fbshipit-source-id: 3154a1694
4 years ago
de8d583f82
[sledge] Rename nonstdlib/{map,set} to nonstdlib/{NSMap,NSSet}
...
Reviewed By: ngorogiannis
Differential Revision: D26250537
fbshipit-source-id: ff1dc3751
4 years ago
Josh Berdine