From 16a21527944659dbf797b119ebee019b3fc450fb Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Wed, 17 Feb 2016 20:44:07 +0100
Subject: [PATCH] hash_value for cln::cl_ra
Former-commit-id: 934795bd78c7f530ff4e47eda1b7df0a5821d273
---
src/adapters/CarlAdapter.h | 8 ++++++++
1 file changed, 8 insertions(+)
diff --git a/src/adapters/CarlAdapter.h b/src/adapters/CarlAdapter.h
index 4fd2a98a0..61bd3998b 100644
--- a/src/adapters/CarlAdapter.h
+++ b/src/adapters/CarlAdapter.h
@@ -41,6 +41,14 @@ namespace carl {
std::hash<Interval<Number>> h;
return h(i);
}
+
+}
+
+namespace cln {
+ inline size_t hash_value(cl_RA const& n) {
+ std::hash<cln::cl_RA> h;
+ return h(n);
+ }
}
namespace storm {