JsonAdapter.cpp File Reference

#include "storm/adapters/JsonAdapter.h"
#include <sstream>
#include "storm/adapters/RationalNumberAdapter.h"
#include "storm/utility/NumberTraits.h"
#include "storm/utility/macros.h"

Include dependency graph for JsonAdapter.cpp:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.

Functions
template<typename ValueType >
bool	storm::isJsonNumberExportAccurate (storm::json< ValueType > const &j)
template<typename ValueType , typename CallBack >
void	storm::json_for_each_number_float (storm::json< ValueType > const &j, CallBack const &f)
template<typename ValueType >
void	storm::warnIfJsonExportNotAccurate (storm::json< ValueType > const &j)
template<typename ValueType >
std::string	storm::dumpJson (storm::json< ValueType > const &j, bool compact=false)
	Dumps the given json object, producing a String.
template std::string	storm::dumpJson (storm::json< double > const &j, bool compact=false)
template std::string	storm::dumpJson (storm::json< storm::RationalNumber > const &j, bool compact=false)