OpenPRA Documentation

praxis / io / ftc

Module ftc ​

SAPHIRE Version 2 fault-tree cut-set (FTC) output.

Quick Reference ​

ItemKindDescription
serialize_saphire_v2fnSerialize minimal cut sets using the SAPHIRE Version 2 FTC dialect.

Functions ​

serialize_saphire_v2 ​

rust
fn serialize_saphire_v2(project: &str, fault_tree: &str, analysis: &str, cut_sets: &[crate::algorithms::mocus::CutSet]) -> crate::Result<String>

Serialize minimal cut sets using the SAPHIRE Version 2 FTC dialect.

The caller supplies the SAPHIRE project and analysis identifiers because neither is part of an OpenPSA fault-tree model or a PBF fault-tree payload.