diff options
Diffstat (limited to 'src/core/RangeSet.hpp')
| -rw-r--r-- | src/core/RangeSet.hpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/src/core/RangeSet.hpp b/src/core/RangeSet.hpp index fc0070f..f5b56e2 100644 --- a/src/core/RangeSet.hpp +++ b/src/core/RangeSet.hpp @@ -19,6 +19,7 @@ #ifndef _OUSIA_RANGE_SET_HPP_ #define _OUSIA_RANGE_SET_HPP_ +#include <cstddef> #include <limits> #include <set> @@ -412,6 +413,13 @@ public: return !(lhs == rhs); } }; + +/** + * This is the default cardinality. + */ +using Cardinality = RangeSet<size_t>; +extern const Cardinality AnyCardinality; + } #endif /* _OUSIA_RANGE_SET_HPP_ */ |