Started integrating parametric model checking in regular tool.

Former-commit-id: e647e0bbe6

src/storage/parameters.h

@@ -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_ */