6#include <boost/serialization/export.hpp>
7#include <boost/archive/binary_oarchive.hpp>
8#include <boost/archive/binary_iarchive.hpp>
71#include <boost/archive/binary_oarchive.hpp>
72#include <boost/archive/binary_iarchive.hpp>
virtual void state_load(boost::archive::binary_iarchive &ar)
void saveExpectationElementToFile(std::ofstream &)
virtual void state_save(boost::archive::binary_oarchive &ar) const
void retrieveExpectationElementFromFile(std::ifstream &)
bool checkIfIsIdenticalExpectationElement(ExpectationElement &)
void copyExpectationElement(ExpectationElement &)
void saveExpectedMentalBeliefToFile(std::ofstream &)
void readInfoFromFile(std::ifstream &)
void setExpectedState(int)
void retrieveExpectedMentalBeliefFromFile(std::ifstream &)
virtual ~ExpectedMentalBelief()
void copyExpectedMentalBelief(ExpectedMentalBelief &)
void state_save(boost::archive::binary_oarchive &ar) const override
bool checkIfIsIdenticalExpectedMentalBelief(ExpectedMentalBelief &)
void state_load(boost::archive::binary_iarchive &ar) override
void setInfoName(std::string)
void retrieveKBElementFromFile(std::ifstream &)
bool checkIfIsIdenticalKBElement(KBElement &)
void saveKBElementToFile(std::ofstream &)
void copyKBElement(KBElement &)
void saveProcedureExpectORLinkToFile(std::ofstream &)
void retrieveProcedureExpectORLinkFromFile(std::ifstream &)
void copyProcedureExpectORLink(ProcedureExpectORLink &)
void setStateOfActivation(int)
void saveStateOfActivationToFile(std::ofstream &)
int getStateOfActivation()
void retrieveStateOfActivationFromFile(std::ifstream &)
void copyStateOfActivation(StateOfActivation &)
void saveTimerToFile(std::ofstream &)
void retrieveTimerFromFile(std::ifstream &)
void timer_state_save(Archive &ar) const
void timer_state_load(Archive &ar)
bool checkIfIsIdenticalTimer(Timer &)