From addeedc339f3bb2940e89066954557c3c8e356fa Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 2 Oct 2014 13:16:49 +0200
Subject: [PATCH] better isOne checking

Former-commit-id: ab2919de18af00b3468090d674797e453048b326
---
 src/utility/constants.h | 15 +++++++++++++++
 1 file changed, 15 insertions(+)

diff --git a/src/utility/constants.h b/src/utility/constants.h
index 3263d1308..123077957 100644
--- a/src/utility/constants.h
+++ b/src/utility/constants.h
@@ -22,6 +22,7 @@
 #include "src/storage/BitVector.h"
 #include "src/storage/LabeledValues.h"
 #include "src/settings/SettingsManager.h"
+#include "src/storage/parameters.h"
 
 namespace storm {
 
@@ -209,6 +210,20 @@ inline bool isOne(T sum)
 	return sum == T(1);
 }
 
+#ifdef PARAMETRIC_SYSTEMS
+template<>
+inline bool isOne(const RationalFunction& r)
+{
+	return r.isOne();
+}
+
+template<>
+inline bool isOne(const Polynomial& p)
+{
+	return p.isOne();
+}
+#endif
+
 template<>
 inline bool isOne(double sum)
 {