5#include <unordered_map>
6#include <boost/serialization/unordered_map.hpp>
7#include <boost/serialization/string.hpp>
8#include <boost/archive/text_iarchive.hpp>
9#include <boost/archive/text_oarchive.hpp>
10#include <boost/serialization/export.hpp>
27 template<
class Archive>
28 void serialize(Archive &ar,
const unsigned int version) {
std::unordered_map< int, std::string > term_names_
void initiationForSimulation()
virtual ~ConvertToString()
std::string removeQuotationAndSpace(std::string)
void copyConvertToString(const ConvertToString &)
friend class boost::serialization::access
void clearConvertToString()
std::string getString(int) const
void serialize(Archive &ar, const unsigned int version)