2#include "storm-config.h"
5#ifdef STORM_CARL_SUPPORTS_FWD_DECL
6#include "carl/core/MultivariatePolynomialForward.h"
10#include <carl/numbers/numbers.h>
12#include <carl/core/FactorizedPolynomial.h>
13#include <carl/core/MultivariatePolynomial.h>
14#include <carl/core/RationalFunction.h>
15#include <carl/core/Relation.h>
16#include <carl/core/VariablePool.h>
28template<
typename P,
bool as>
37#if defined(STORM_HAVE_CLN) && defined(STORM_USE_CLN_RF)
38typedef ClnRationalNumber RationalFunctionCoefficient;
39#elif defined(STORM_HAVE_GMP) && !defined(STORM_USE_CLN_RF)
40typedef GmpRationalNumber RationalFunctionCoefficient;
41#elif defined(STORM_USE_CLN_RF)
42#error CLN is to be used, but is not available.
44#error GMP is to be used, but is not available.
47typedef carl::MultivariatePolynomial<RationalFunctionCoefficient>
RawPolynomial;
carl::FactorizedPolynomial< RawPolynomial > Polynomial
carl::Variable RationalFunctionVariable
carl::RationalFunction< Polynomial, true > RationalFunction
carl::MultivariatePolynomial< RationalFunctionCoefficient > RawPolynomial