JsonForward.h File Reference

#include <map>
#include <string>
#include <vector>
#include "nlohmann/json_fwd.hpp"

Include dependency graph for JsonForward.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	storm
	LabParser.cpp.

Typedefs
template<typename ValueType >
using	storm::json = nlohmann::basic_json< std::map, std::vector, std::string, bool, int64_t, uint64_t, ValueType >

Functions
template<typename ValueType >
bool	storm::isJsonNumberExportAccurate (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.