OpenPRA Documentation

scram::core::Mocus ​

This class analyzes normalized, preprocessed, and indexed fault trees to generate minimal cut sets with the MOCUS algorithm.

#include <mocus.h>

Inherits from boost::noncopyable

Public Functions ​

Name
Mocus(const Pdag * graph, const Settings & settings)<br>Prepares a PDAG for analysis with the MOCUS algorithm.
voidAnalyze(const Pdag * graph =nullptr)<br>Finds minimal cut sets from the PDAG.
const Zbdd &products() const

Public Functions Documentation ​

function Mocus ​

cpp
Mocus(
    const Pdag * graph,
    const Settings & settings
)

Prepares a PDAG for analysis with the MOCUS algorithm.

Parameters:

  • graph Preprocessed and normalized PDAG.
  • settings The analysis settings.

Precondition:

  • The passed PDAG already has variable ordering.
  • The PDAG is in negation normal form; that is, it contains only positive AND/OR gates.

function Analyze ​

cpp
void Analyze(
    const Pdag * graph =nullptr
)

Finds minimal cut sets from the PDAG.

Parameters:

  • graph The optional PDAG with non-declarative substitutions.

function products ​

cpp
inline const Zbdd & products() const

Return: Generated minimal cut sets with basic event indices.

Updated on 2025-11-11 at 16:51:08 +0000