scram::mef::CollectFormula
The operation of connecting fault tree events into the event tree.
#include <instruction.h>
Inherits from scram::mef::Visitable< CollectFormula >, scram::mef::Instruction, boost::noncopyable
Public Functions
| Name | |
|---|---|
| CollectFormula(std::unique_ptr< Formula > formula) | |
| Formula & | formula() const |
Additional inherited members
Public Functions inherited from scram::mef::Visitable< CollectFormula >
| Name | |
|---|---|
| virtual void | Accept(InstructionVisitor * visitor) const<br>Calls visit with the object pointer T*. |
Public Functions inherited from scram::mef::Instruction
| Name | |
|---|---|
| virtual | ~Instruction() =default |
| virtual void | Accept(InstructionVisitor * visitor) const =0<br>Applies the visitor to the object. |
Public Functions Documentation
function CollectFormula
cpp
inline explicit CollectFormula(
std::unique_ptr< Formula > formula
)Parameters:
- formula The valid formula to add into the sequence fault tree.
function formula
cpp
inline Formula & formula() constReturn: The formula to include into the current product of the path.
Updated on 2025-11-11 at 16:51:08 +0000