Skip to content

scram::core::EventTreeAnalysis::PathCollector

Expressions and formulas collected in an event tree path.

Public Functions

Name
PathCollector() =default
PathCollector(const PathCollector & other)<br>Must deep copy formulas.

Public Attributes

Name
std::vector< mef::Expression * >expressions <br>Multiplication arguments.
std::vector< mef::FormulaPtr >formulas <br>AND connective formulas.
std::unordered_map< std::string, bool >set_instructions <br>House events.

Public Functions Documentation

function PathCollector

cpp
PathCollector() =default

function PathCollector

cpp
PathCollector(
    const PathCollector & other
)

Must deep copy formulas.

Public Attributes Documentation

variable expressions

cpp
std::vector< mef::Expression * > expressions;

Multiplication arguments.

variable formulas

cpp
std::vector< mef::FormulaPtr > formulas;

AND connective formulas.

variable set_instructions

cpp
std::unordered_map< std::string, bool > set_instructions;

House events.


Updated on 2026-01-09 at 21:59:11 +0000