From 036ee7dd97f42efeecf1c66396731419a973126a Mon Sep 17 00:00:00 2001
From: Benjamin Paassen <bpaassen@techfak.uni-bielefeld.de>
Date: Fri, 6 Feb 2015 19:21:11 +0100
Subject: made cardinality to an own class instead of using.

---
 src/core/RangeSet.hpp | 7 ++++---
 1 file changed, 4 insertions(+), 3 deletions(-)

(limited to 'src/core/RangeSet.hpp')

diff --git a/src/core/RangeSet.hpp b/src/core/RangeSet.hpp
index f5b56e2..9310d72 100644
--- a/src/core/RangeSet.hpp
+++ b/src/core/RangeSet.hpp
@@ -417,9 +417,10 @@ public:
 /**
  * This is the default cardinality.
  */
-using Cardinality = RangeSet<size_t>;
-extern const Cardinality AnyCardinality;
-
+class Cardinality : public RangeSet<size_t> {
+public:
+	static Cardinality any();
+};
 }
 
 #endif /* _OUSIA_RANGE_SET_HPP_ */
-- 
cgit v1.2.3