diff options
author | Carlo Zancanaro <carlo@carlo-laptop> | 2012-10-30 20:56:38 +1100 |
---|---|---|
committer | Carlo Zancanaro <carlo@carlo-laptop> | 2012-10-30 20:56:38 +1100 |
commit | 6a4786bde976e9a023c7f65a395384d214c5102c (patch) | |
tree | f3dd303f21dfa0be269a932dd05438041a290f27 /impl/IdSet.hpp | |
parent | ff2030f3a19926334fbe3a043c5f88622c17c2f8 (diff) | |
parent | 95b82ea3830c3a34455323167894647e3aa773a6 (diff) |
Merge branch 'master' of ssh://bitbucket.org/czan/honours
Conflicts:
impl/test/run
Diffstat (limited to 'impl/IdSet.hpp')
-rw-r--r-- | impl/IdSet.hpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/impl/IdSet.hpp b/impl/IdSet.hpp index 950b1e1..bf98502 100644 --- a/impl/IdSet.hpp +++ b/impl/IdSet.hpp @@ -96,6 +96,10 @@ class IdSet { return _set.size(); } + bool empty() const { + return _set.empty(); + } + private: unsigned int _range; std::set<unsigned int> _set; |