diff options
Diffstat (limited to 'core/set.h')
| -rw-r--r-- | core/set.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/core/set.h b/core/set.h index 744019d5b4..59aa54128e 100644 --- a/core/set.h +++ b/core/set.h @@ -595,6 +595,7 @@ public: return e; } + inline bool empty() const { return _data.size_cache == 0; } inline int size() const { return _data.size_cache; } int calculate_depth() const { |