6#include <boost/serialization/export.hpp>
7#include <boost/archive/binary_oarchive.hpp>
8#include <boost/archive/binary_iarchive.hpp>
void readInfoFromFile(std::ifstream &)
void setInfoName(std::string)
void retrieveKBElementFromFile(std::ifstream &)
bool checkIfIsIdenticalKBElement(KBElement &)
void saveKBElementToFile(std::ofstream &)
void copyKBElement(KBElement &)
std::string getInfoName()