ExplicitQuantitativeCheckResult.cpp File Reference

#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/modelchecker/results/ExplicitQuantitativeCheckResult.h"
#include <algorithm>
#include "storm/adapters/JsonAdapter.h"
#include "storm/adapters/RationalFunctionAdapter.h"
#include "storm/exceptions/InvalidOperationException.h"
#include "storm/exceptions/NotSupportedException.h"
#include "storm/modelchecker/results/ExplicitQualitativeCheckResult.h"
#include "storm/utility/constants.h"
#include "storm/utility/macros.h"
#include "storm/utility/vector.h"

Include dependency graph for ExplicitQuantitativeCheckResult.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
namespace	storm::modelchecker

Functions
template<typename ValueType>
void	storm::modelchecker::printExact (std::ostream &out, ValueType const &value)
template<typename ValueType>
void	storm::modelchecker::printApproximation (std::ostream &out, ValueType const &value)
template<typename ValueType>
void	storm::modelchecker::print (std::ostream &out, ValueType const &value)
template<typename ValueType>
void	storm::modelchecker::printInterval (std::ostream &out, std::optional< ValueType > const &lower, std::optional< ValueType > const &upper)
	Writes the given interval, an unknown end of it as "?".
template<typename ValueType>
void	storm::modelchecker::printRange (std::ostream &out, ValueType const &min, ValueType const &max)
template<typename ValueType>
void	storm::modelchecker::printBounds (std::ostream &out, std::optional< ValueType > const &lower, std::optional< ValueType > const &upper)
	Writes the given bounds on the solution, and nothing at all if neither side is known.
template<typename ValueType>
void	storm::modelchecker::insertJsonValue (storm::json< ValueType > &entry, std::string const &key, storm::utility::ExtendedValueType< ValueType > const &value)
	Writes the given value under the given key, spelling out an infinity that the plain value type cannot represent.
template<typename ValueType>
void	storm::modelchecker::insertJsonEntry (storm::json< ValueType > &json, uint64_t const &id, storm::utility::ExtendedValueType< ValueType > const &value, std::optional< storm::storage::sparse::Valuations > const &stateValuations=std::nullopt, std::optional< storm::models::sparse::StateLabeling > const &stateLabels=std::nullopt, std::optional< storm::utility::ExtendedValueType< ValueType > > const &lowerBound=std::nullopt, std::optional< storm::utility::ExtendedValueType< ValueType > > const &upperBound=std::nullopt)

Variables
template<typename ValueType>
constexpr bool	storm::modelchecker::printsApproximation = std::is_same_v<ValueType, storm::RationalNumber> || std::is_same_v<ValueType, storm::ExtendedRationalNumber>