From e56e8bf71b0a5e9f86b35d501ee8dd4600bb5aee Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Tue, 18 Mar 2014 18:44:13 +0100
Subject: [PATCH] boost hash support for multivariate polynommials from carl,
 typedefs for polynomials when using parametric systems

Former-commit-id: 074758fa36e94c1208c5e405e61f75ab147fb13a
---
 src/adapters/extendedCarl.h | 23 +++++++++++++++++++++++
 src/storage/parameters.h    | 19 +++++++++++++++++++
 2 files changed, 42 insertions(+)
 create mode 100644 src/adapters/extendedCarl.h
 create mode 100644 src/storage/parameters.h

diff --git a/src/adapters/extendedCarl.h b/src/adapters/extendedCarl.h
new file mode 100644
index 000000000..6cf548e7c
--- /dev/null
+++ b/src/adapters/extendedCarl.h
@@ -0,0 +1,23 @@
+/** 
+ * @file:   extendedCarl.h
+ * @author: Sebastian Junges
+ *
+ * @since March 18, 2014
+ */
+
+#ifndef STORM_ADAPTERS_EXTENDEDCARL_H_
+#define STORM_ADAPTERS_EXTENDEDCARL_H_
+
+#include <carl/core/MultivariatePolynomial.h>
+
+namespace carl
+{
+template<typename C, typename O, typename P>
+inline size_t hash_value(carl::MultivariatePolynomial<C,O,P> const& p)
+{
+	std::hash<carl::MultivariatePolynomial<C,O,P>> h;
+	return h(p);
+}
+}
+
+#endif
\ No newline at end of file
diff --git a/src/storage/parameters.h b/src/storage/parameters.h
new file mode 100644
index 000000000..22a3753f2
--- /dev/null
+++ b/src/storage/parameters.h
@@ -0,0 +1,19 @@
+//#ifndef STORM_STORAGE_PARAMETERS_H_
+//#define STORM_STORAGE_PARAMETERS_H_
+
+#pragma once
+
+#include "storm-config.h"
+#ifdef STORM_HAVE_CARL
+
+#include "../adapters/extendedCarl.h"
+
+namespace storm
+{
+	typedef carl::MultivariatePolynomial<mpq_class> Polynomial;
+	//typedef Parameter  carl::Variable							;
+}
+#endif
+
+//#endif
+