From caf8b57b6097215a5ee2f62cd3ac178475b44b57 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Thu, 12 Feb 2015 15:19:04 +0100
Subject: [PATCH] Started integrating parametric model checking in regular
 tool.

Former-commit-id: e647e0bbe69570801d19f73cbdec807667552e38
---
 .../{extendedCarl.h => CarlAdapter.h}         |  0
 src/storage/parameters.h                      | 21 -------------------
 2 files changed, 21 deletions(-)
 rename src/adapters/{extendedCarl.h => CarlAdapter.h} (100%)
 delete mode 100644 src/storage/parameters.h

diff --git a/src/adapters/extendedCarl.h b/src/adapters/CarlAdapter.h
similarity index 100%
rename from src/adapters/extendedCarl.h
rename to src/adapters/CarlAdapter.h
diff --git a/src/storage/parameters.h b/src/storage/parameters.h
deleted file mode 100644
index 7455690d2..000000000
--- a/src/storage/parameters.h
+++ /dev/null
@@ -1,21 +0,0 @@
-#ifndef STORM_STORAGE_PARAMETERS_H_
-#define STORM_STORAGE_PARAMETERS_H_
-
-#include "storm-config.h"
-
-#ifdef STORM_HAVE_CARL
-#include "../adapters/extendedCarl.h"
-
-namespace storm {
-	typedef carl::Variable  Variable;
-    typedef carl::MultivariatePolynomial<cln::cl_RA> RawPolynomial;
-    typedef carl::FactorizedPolynomial<RawPolynomial> Polynomial;
-
-//    typedef RawPolynomial Polynomial;
-	
-	typedef carl::CompareRelation CompareRelation;
-	typedef carl::RationalFunction<Polynomial> RationalFunction;
-}
-#endif
-
-#endif /* STORM_STORAGE_PARAMETERS_H_ */