Storm
A Modern Probabilistic Model Checker
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Pages
RationalFunctionForward.h
Go to the documentation of this file.
1#pragma once
2#include "storm-config.h"
3
5#ifdef STORM_CARL_SUPPORTS_FWD_DECL
6#include "carl/core/MultivariatePolynomialForward.h"
7#else
8// This must be included first
9// (for old version. Once STORM_CARL_SUPPORTS_FWD_DECL is true, this is no longer relevant).
10#include <carl/numbers/numbers.h>
11// These must be included later...
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>
18#endif
19
20namespace carl {
21
22template<typename P>
24
25template<typename P>
26class Cache;
27
28template<typename P, bool as>
30
31} // namespace carl
32
33namespace storm {
34
35typedef carl::Variable RationalFunctionVariable;
36
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.
43#else
44#error GMP is to be used, but is not available.
45#endif
46
47typedef carl::MultivariatePolynomial<RationalFunctionCoefficient> RawPolynomial;
49
51
52} // namespace storm
LabParser.cpp.
Definition cli.cpp:18
carl::FactorizedPolynomial< RawPolynomial > Polynomial
carl::Variable RationalFunctionVariable
carl::RationalFunction< Polynomial, true > RationalFunction
carl::MultivariatePolynomial< RationalFunctionCoefficient > RawPolynomial