Central dynamic event tree data structure: the branch clusters, the end states and the forks that are pending at the current evaluation point. More...

#include <iostream>
#include <typeinfo>
#include "BranchCluster.h"
#include "BranchGoal.h"
#include "BranchStrategy.h"
#include "BranchSubGoal.h"
#include "BranchDiagnosis.h"
#include "BranchActionObjective.h"
#include "BranchActionPack.h"
#include "BranchAction.h"
#include "BranchExpectedAlarmState.h"
#include "BranchExpectedComponentState.h"
#include "BranchExpectedParameterTrend.h"
#include "BranchExpectedParameterValue.h"
#include "BranchExpectedParameterDifference.h"
#include "BranchProcedureStep.h"
#include "BranchInfoGatherMode.h"
#include "BranchSystemAction.h"
#include "BranchSystemAlarmState.h"
#include "BranchUnit.h"
#include "BranchEndState.h"
#include "BranchProcedureAtionTime.h"
#include "BranchMentalProcedureActivationTime.h"
#include "BranchProcedureControlValue.h"
#include "BranchExpectedMentalBelief.h"
#include "BranchScannedParameter.h"
#include "BranchSupportSystemAction.h"
#include "BranchSupportSystemActionVector.h"
#include "BranchSystemActionVector.h"
#include "../Global/TermConversions.h"
#include "../Scheduler/AnalysisInfoContainer.h"
#include <boost/serialization/export.hpp>
#include <memory>
#include <boost/archive/text_oarchive.hpp>
#include <boost/archive/text_iarchive.hpp>
#include <boost/serialization/access.hpp>
#include <boost/serialization/vector.hpp>
#include <boost/serialization/unique_ptr.hpp>

Include dependency graph for BranchRecord.h:

Classes
class	BranchRecord

Typedefs
typedef std::vector< std::unique_ptr< BranchSystemAction > >	VHWReliabilityUnit

typedef std::vector< std::unique_ptr< VHWReliabilityUnit > >	MHWReliabilityUnit

typedef std::vector< std::unique_ptr< BranchSupportSystemAction > >	VSSReliabilityUnit

typedef std::vector< std::unique_ptr< VSSReliabilityUnit > >	MSSReliabilityUnit

Detailed Description

Central dynamic event tree data structure: the branch clusters, the end states and the forks that are pending at the current evaluation point.

BranchRecord owns a vector of BranchCluster objects, one per branching point of the dynamic event tree, and a vector of BranchEndState objects, one per finished sequence. Each cluster holds its alternatives as BranchProbability objects (one PE node each).

Between two evaluation points the crew, hardware reliability and support system reliability modules register forks with the add* functions. A fork is a set of alternatives from one source: one crew fork per operator (ODM_branch, OAT_branch, OCT_branch, each a BranchUnit), any number of hardware forks (HW_reliability_branch) and support system forks (SS_reliability_branch). checkAndAddBranchCluster() then expands the cross-product of the pending forks into one new cluster and clears the pending forks.

Definition in file BranchRecord.h.

Typedef Documentation

◆ MHWReliabilityUnit

typedef std::vector<std::unique_ptr<VHWReliabilityUnit> > MHWReliabilityUnit

Definition at line 62 of file BranchRecord.h.

◆ MSSReliabilityUnit

typedef std::vector<std::unique_ptr<VSSReliabilityUnit> > MSSReliabilityUnit

Definition at line 64 of file BranchRecord.h.

◆ VHWReliabilityUnit

typedef std::vector<std::unique_ptr<BranchSystemAction> > VHWReliabilityUnit

Definition at line 61 of file BranchRecord.h.

◆ VSSReliabilityUnit

typedef std::vector<std::unique_ptr<BranchSupportSystemAction> > VSSReliabilityUnit

Definition at line 63 of file BranchRecord.h.