From 37fb89c691c28799e71a08d1c2dcd890b54bd50b Mon Sep 17 00:00:00 2001 From: Dennis Luxen Date: Thu, 26 Feb 2015 10:10:19 +0100 Subject: [PATCH] add size() call to integer range --- util/integer_range.hpp | 1 + 1 file changed, 1 insertion(+) diff --git a/util/integer_range.hpp b/util/integer_range.hpp index df9d43cd4..811bbbe9f 100644 --- a/util/integer_range.hpp +++ b/util/integer_range.hpp @@ -50,6 +50,7 @@ template class range const range &end() const { return *this; } Integer front() const { return iter; } Integer back() const { return last - 1; } + Integer size() const { return last - iter; } // Iterator functions bool operator!=(const range &) const { return iter < last; }