|
ADS-IDAC Engine 5.0.0
|
#include <KBExpectedSupportSystemStateUnit.h>
Public Member Functions | |
| KBExpectedSupportSystemStateUnit () | |
| virtual | ~KBExpectedSupportSystemStateUnit () |
| void | setExpectedState (int) |
| void | readInfoFromFile (std::ifstream &) |
| int | getExpectedState () |
| int | checkForMatch (std::string, int) |
| void | copyKBExpectedSupportSystemStateUnit (KBExpectedSupportSystemStateUnit &) |
| void | saveKBExpectedSupportSystemStateUnitToFile (std::ofstream &) |
| void | retrieveKBExpectedSupportSystemStateUnitFromFile (std::ifstream &) |
| template<class Archive > | |
| void | serialize (Archive &ar, const unsigned int version) |
Public Member Functions inherited from KBElement | |
| KBElement () | |
| virtual | ~KBElement () |
| void | setInfoName (std::string) |
| std::string | getInfoName () |
| void | readInfoFromFile (std::ifstream &) |
| void | copyKBElement (KBElement &) |
| void | saveKBElementToFile (std::ofstream &) |
| void | retrieveKBElementFromFile (std::ifstream &) |
| bool | checkIfIsIdenticalKBElement (KBElement &) |
| template<class Archive > | |
| void | serialize (Archive &ar, const unsigned int version) |
Public Member Functions inherited from ExpectationElement | |
| virtual void | state_save (boost::archive::binary_oarchive &ar) const |
| virtual void | state_load (boost::archive::binary_iarchive &ar) |
| ExpectationElement () | |
| virtual | ~ExpectationElement () |
| void | setStateOfExpectation (int) |
| int | getStateOfExpectation () |
| int | updateExpectation (int) |
| void | copyExpectationElement (ExpectationElement &) |
| void | setTypeOfExpectation (int) |
| int | getTypeOfExpectation () |
| void | saveExpectationElementToFile (std::ofstream &) |
| void | retrieveExpectationElementFromFile (std::ifstream &) |
| bool | checkIfIsIdenticalExpectationElement (ExpectationElement &) |
| template<class Archive > | |
| void | serialize (Archive &ar, const unsigned int version) |
Private Attributes | |
| int | expected_state |
Friends | |
| class | boost::serialization::access |
Additional Inherited Members | |
Public Attributes inherited from KBElement | |
| std::string | info_name |
Definition at line 14 of file KBExpectedSupportSystemStateUnit.h.
| KBExpectedSupportSystemStateUnit::KBExpectedSupportSystemStateUnit | ( | ) |
Definition at line 11 of file KBExpectedSupportSystemStateUnit.cpp.
References expected_state, sim::None, ExpectationElement::setStateOfExpectation(), ExpectationElement::setTypeOfExpectation(), and sim::Comm::SupportSystemState.
|
virtual |
Definition at line 17 of file KBExpectedSupportSystemStateUnit.cpp.
| int KBExpectedSupportSystemStateUnit::checkForMatch | ( | std::string | , |
| int | |||
| ) |
Definition at line 26 of file KBExpectedSupportSystemStateUnit.cpp.
References expected_state, sim::State::Failed, KBElement::getInfoName(), sim::State::Succeed, and ExpectationElement::updateExpectation().
| void KBExpectedSupportSystemStateUnit::copyKBExpectedSupportSystemStateUnit | ( | KBExpectedSupportSystemStateUnit & | _essp | ) |
Definition at line 41 of file KBExpectedSupportSystemStateUnit.cpp.
References ExpectationElement::copyExpectationElement(), KBElement::copyKBElement(), expected_state, and getExpectedState().
Referenced by ExpectationORUnit::assessExpectation(), DecisionExpectedSupportSystemState::copyDecisionExpectedSupportSystemState(), and ProcedureExpectedSupportSystemStateUnit::copyProcedureExpectedSupportSystemStateUnit().
| int KBExpectedSupportSystemStateUnit::getExpectedState | ( | ) |
Definition at line 47 of file KBExpectedSupportSystemStateUnit.cpp.
References expected_state.
Referenced by ExpectationORUnit::assessExpectation(), InfoChunk::checkWhetherExpectedSupportSystemStateMatchObservation(), copyKBExpectedSupportSystemStateUnit(), BranchExpectedSupportSystemState::saveInfoToFile(), and BranchExpectedSupportSystemState::translateMessage().
| void KBExpectedSupportSystemStateUnit::readInfoFromFile | ( | std::ifstream & | ) |
Definition at line 22 of file KBExpectedSupportSystemStateUnit.cpp.
References expected_state, and KBElement::readInfoFromFile().
| void KBExpectedSupportSystemStateUnit::retrieveKBExpectedSupportSystemStateUnitFromFile | ( | std::ifstream & | ) |
Definition at line 53 of file KBExpectedSupportSystemStateUnit.cpp.
References SimulationContext::Branch_center, expected_state, g_sim, NoKB, r5pars_, ExpectationElement::retrieveExpectationElementFromFile(), KBElement::retrieveKBElementFromFile(), BranchRecord::setTempESMessage(), and BranchRecord::setTempTypeOfConsequence().
Referenced by DecisionExpectedSupportSystemState::retrieveDecisionExpectedSupportSystemStateFromFile(), and ProcedureExpectedSupportSystemStateUnit::retrieveProcedureExpectedSupportSystemStateUnitFromFile().
| void KBExpectedSupportSystemStateUnit::saveKBExpectedSupportSystemStateUnitToFile | ( | std::ofstream & | ) |
Definition at line 48 of file KBExpectedSupportSystemStateUnit.cpp.
References expected_state, ExpectationElement::saveExpectationElementToFile(), and KBElement::saveKBElementToFile().
Referenced by DecisionExpectedSupportSystemState::saveDecisionExpectedSupportSystemStateToFile(), and ProcedureExpectedSupportSystemStateUnit::saveProcedureExpectedSupportSystemStateUnitToFile().
|
inline |
Definition at line 31 of file KBExpectedSupportSystemStateUnit.h.
References expected_state.
| void KBExpectedSupportSystemStateUnit::setExpectedState | ( | int | n | ) |
Definition at line 21 of file KBExpectedSupportSystemStateUnit.cpp.
References expected_state.
Referenced by ExpectationORUnit::assessExpectation(), ProcedureExpectedSupportSystemStateUnit::readInfoFromFile(), and ProcedureExpectedSupportSystemStateUnit::readInfoFromFileWithoutInfoName().
|
friend |
Definition at line 29 of file KBExpectedSupportSystemStateUnit.h.
|
private |
Definition at line 41 of file KBExpectedSupportSystemStateUnit.h.
Referenced by checkForMatch(), copyKBExpectedSupportSystemStateUnit(), getExpectedState(), KBExpectedSupportSystemStateUnit(), readInfoFromFile(), retrieveKBExpectedSupportSystemStateUnitFromFile(), saveKBExpectedSupportSystemStateUnitToFile(), serialize(), and setExpectedState().