JsonForward.h

Go to the documentation of this file.

#pragma once
#include <map>
#include <string>
#include <vector>
#include "nlohmann/json_fwd.hpp"
 
namespace storm {
 
template<typename ValueType>
using json = nlohmann::basic_json<std::map, std::vector, std::string, bool, int64_t, uint64_t, ValueType>;
 
template<typename ValueType>
bool isJsonNumberExportAccurate(storm::json<ValueType> const& j);
 
template<typename ValueType>
std::string dumpJson(storm::json<ValueType> const& j, bool compact = false);
 
}  // namespace storm