RationalNumberAdapter.h

Go to the documentation of this file.

#pragma once
 
#include "storm/adapters/RationalNumberForward.h"
 
#if defined(STORM_HAVE_CLN)
#pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wmismatched-tags"
#include <cln/cln.h>
#pragma clang diagnostic pop
#endif
 
#if defined(STORM_HAVE_GMP)
#include <gmpxx.h>
#endif
 
#include <carl/numbers/numbers.h>
 
#if defined(STORM_HAVE_CLN)
namespace cln {
inline size_t hash_value(cl_RA const& n) {
    std::hash<cln::cl_RA> h;
    return h(n);
}
}  // namespace cln
#endif
 
#if defined(STORM_HAVE_GMP)
inline size_t hash_value(mpq_class const& q) {
    std::hash<mpq_class> h;
    return h(q);
}
#endif