RationalNumberForward.h

Go to the documentation of this file.

#pragma once
 
#include "storm-config.h"
 
#if defined(STORM_HAVE_GMP)
// The small gmp.h header is always included.
#include <gmp.h>
template<typename U, typename V>
class __gmp_expr;  // NOLINT(bugprone-reserved-identifier)
#endif
 
#if defined(STORM_HAVE_CLN)
namespace cln {
class cl_RA;
class cl_I;
}  // namespace cln
#endif
 
namespace storm {
#if defined(STORM_HAVE_CLN)
typedef cln::cl_RA ClnRationalNumber;
typedef cln::cl_I ClnIntegerNumber;
#endif
#if defined(STORM_HAVE_GMP)
// Silence clang-tidy warnings. We cannot use the typedefs here, because they are only defined in gmpxx.h
// NOLINTBEGIN(bugprone-reserved-identifier)
typedef __gmp_expr<mpq_t, mpq_t> GmpRationalNumber;  // corresponds to mpq_class
typedef __gmp_expr<mpz_t, mpz_t> GmpIntegerNumber;   // corresponds to mpz_class
// NOLINTEND(bugprone-reserved-identifier)
#endif
 
#if defined(STORM_HAVE_CLN) && defined(STORM_USE_CLN_EA)
typedef ClnRationalNumber RationalNumber;
static constexpr bool RationalNumberDenominatorAlwaysPositive = true;  // See https://www.ginac.de/CLN/cln.html#Exact-numbers
#elif defined(STORM_HAVE_GMP) && !defined(STORM_USE_CLN_EA)
typedef GmpRationalNumber RationalNumber;
static constexpr bool RationalNumberDenominatorAlwaysPositive = true;  // See https://gmplib.org/manual/Rational-Number-Functions
#elif defined(STORM_USE_CLN_EA)
#error CLN is to be used, but is not available.
#else
#error GMP is to be used, but is not available.
#endif
}  // namespace storm