d2/d7d/_rational_approximation_8h_source.html

#pragma once


#include "storm/adapters/RationalNumberForward.h"


namespace storm::utility {


storm::RationalNumber findRational(storm::RationalNumber const& lowerBound, bool lowerInclusive, storm::RationalNumber const& upperBound, bool upperInclusive);


}  // namespace storm::utility

RationalNumberForward.h

storm::utility
Definition AutomaticSettings.cpp:14

storm::utility::findRational
storm::RationalNumber findRational(storm::RationalNumber const &lowerBound, bool lowerInclusive, storm::RationalNumber const &upperBound, bool upperInclusive)
Finds the "simplest" rational number in the given interval, where "simplest" means having the smalles...
Definition RationalApproximation.cpp:10