SimulationContext.h

Go to the documentation of this file.

 
 
#pragma once
 
#include "SimConfig.h"
#include "../System/SystemModule.h"
#include "../ControlPanel/ControlPanel.h"
#include "../Scheduler/Scheduler.h"
#include "../Scheduler/InitiatingEventController.h"
#include "../Procedure/Procedures.h"
#include "../Branch/BranchRecord.h"
#include "RestartNodeInfo.h"
#include "../HWReliability/HWReliabilityModule.h"
#include "../SupportSystemsReliability/SupportSystemReliabilityModule.h"
#include "KeyParameterHistory.h"
#include "ConvertToString.h"
#include "../CalculationAid/CalculationAid.h"
#ifdef ENABLE_HCL
#include "../HCL/HCLEngine.h"
#endif
 
#include <deque>
#include <map>
#include <memory>
#include <vector>
 
struct SimulationContext {
    SimConfig config;
 
    // ---- Core simulation objects ----
    SystemModule Plant;                            
    Scheduler SScheduler;                          
    ControlPanel Indicator;                        
    InitiatingEventController IE;                  
    CommunicationPlace Communication_place;        
    BranchRecord Branch_center;                    
    OperatorDM Decision_Maker;                     
    OperatorAT Action_Taker;                       
    CommandControlCenter Command_handler;          
    AnalysisInfoContainer Aux_info;                
    Procedures All_procedure;                      
    CalculationAid All_polynomial;                 
    ConvertToString Translator;                    
    HWReliabilityModule System_reliability;        
    SupportSystemReliabilityModule Support_system_reliability; 
    KeyParameterHistory KPS;                       
#ifdef ENABLE_HCL
    HCLEngine engine;                              
#endif
 
    // ---- FIFO branch tracking / restart state ----
    std::deque<std::shared_ptr<RestartNodeInfo>> restart_info; 
    std::map<int, std::vector<char>> restart_buffers;          
    std::map<int, int> cid_to_source_sequence;                 
    bool branches_generated_this_sequence = false;             
    bool fresh_restart = false;                                
    bool expected_abort = false;                               
    int id_epoch_base = 0;                                     
    std::map<int, std::pair<size_t, size_t>> pe_file_state;    
    uint64_t config_fingerprint = 0;                           
 
    // ---- SEQ-FP diagnostics ----
    std::vector<std::pair<double,int>> current_seq_events;     
    int seq_restart_cid = 0;                                   
    int seq_restart_branch_num = 0;                            
};
 
extern SimulationContext g_sim;