boost hash support for multivariate polynommials from carl, typedefs for polynomials when using parametric systems

Former-commit-id: 074758fa36

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

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
+