17#include "../ControlPanel/StateOfActivation.h"
18#include "../Procedure/ProcedureStepInfo.h"
19#include "../CalculationAid/Timer.h"
20#include "../CalculationAid/Probability.h"
21#include <boost/serialization/export.hpp>
24#include <boost/serialization/vector.hpp>
25#include <boost/serialization/base_object.hpp>
26#include <boost/serialization/assume_abstract.hpp>
27#include <boost/archive/text_oarchive.hpp>
28#include <boost/archive/text_iarchive.hpp>
32#include <boost/serialization/unique_ptr.hpp>
34namespace boost {
namespace archive {
44 void state_save(boost::archive::binary_oarchive& ar)
const;
45 void state_load(boost::archive::binary_iarchive& ar);
98 template<
class Archive>
99 void serialize(Archive & ar,
const unsigned int version)
102 ar & boost::serialization::base_object<KBElement>(*
this);
103 ar & boost::serialization::base_object<StateOfActivation>(*
this);
104 ar & boost::serialization::base_object<ProcedureStepInfo>(*
this);
std::vector< std::unique_ptr< KBExpectedSupportSystemStateUnit > > expected_support_system_state
int number_of_fulfilled_procedure_activity
int getNumberOfFulfilledAlarmState()
void checkForComponentState(std::string, int)
int getNumberOfFulfilledControl()
void readInfoFromFile(std::ifstream &)
int number_of_fulfilled_parameter_value
void checkForAlarmState(std::string, int)
std::vector< std::unique_ptr< HardWiredProcedureActivity > > expected_procedure_activity
void checkForMentalBelief(std::string, int)
void checkForParameterTrend(std::string, int)
int getTotalNumberOfExpectation()
void setMentalProcedurePriority(int)
void calculateTotalNumberOfExpectation()
void setNumberOfFulfilledAlarmState(int)
std::vector< std::unique_ptr< KBExpectedComponentStateUnit > > expected_component_state
int total_number_of_expectation
Probability branch_probability
void state_load(boost::archive::binary_iarchive &ar)
void checkForProcedureActivity(std::string, int)
Probability activation_probability
int number_of_fulfilled_parameter_trend
void setNumberOfFulfilledComponentState(int)
int number_of_fulfilled_component_state
void copyKBHardWiredUnit(KBHardWiredUnit &)
void retrieveKBHardWiredUnitFromFile(std::ifstream &)
void serialize(Archive &ar, const unsigned int version)
void checkForSupportSystemState(std::string, int)
std::vector< std::unique_ptr< KBExpectedParameterValueUnit > > expected_parameter_value
void setNumberOfFulfilledMentalBelief(int)
int number_of_fulfilled_alarm_state
std::vector< std::unique_ptr< KBExpectedParameterTrendUnit > > expected_parameter_trend
std::vector< std::unique_ptr< HardWiredMentalBelief > > expected_mental_belief
int getNumberOfFulfilledParameterTrend()
void setTotalNumberOfExpectation(int)
virtual ~KBHardWiredUnit()
std::vector< std::unique_ptr< HardWiredControlActivity > > expected_control
void setNumberOfFulfilledControl(int)
void recalculateConfidenceLevel()
int getMentalProcedurePriority()
std::vector< std::unique_ptr< KBExpectedAlarmStateUnit > > expected_alarm_state
double getConfidenceLevel()
void setNumberOfFulfilledParameterValue(int)
void saveKBHardWiredUnitToFile(std::ofstream &)
int number_of_fulfilled_mental_belief
int getNumberOfFulfilledComponentState()
void checkForControl(std::string, double)
int number_of_fulfilled_support_system_state
int getNumberOfFulfilledSupportSystemState()
int mental_procedure_priority
int number_of_fulfilled_control
int getNumberOfFulfilledParameterValue()
friend class boost::serialization::access
void checkForParameterValue(std::string, double, int)
void setNumberOfFulfilledSupportSystemState(int)
double calculateConfidenceLevel()
void state_save(boost::archive::binary_oarchive &ar) const
int getNumberOfFulfilledProcedureActivity()
int getNumberOfFulfilledMentalBelief()
void setNumberOfFulfilledProcedureActivity(int)
void setNumberOfFulfilledParameterTrend(int)