fta_parser.hpp

Go to the documentation of this file.

#pragma once
//
// Reader for GeNIe/SMILE `.fta` fault tree files.
//
// The type codes and the identity/dedup rule are taken from the legacy
// resolver (src/HCL/hcl/HCLFTResolver.cpp, function parse):
//
//   type 0 -> AND gate
//   type 1 -> OR gate
//   type 2 -> basic event, quantified by the failureProbability attribute
//   type 3 -> basic event (same handling)
//   type 4 -> transfer gate: an AND over the single referenced diagram
//   type 6 -> K/N gate, threshold from the k attribute
//   type 7 -> NOT gate
//
// A `<ftaNode>` whose `<node name=...>` has already been defined is *not*
// redefined; the existing definition is shared. Basic events linked to a BBN
// variable (`<linkedBBN>`) are rejected: that path belonged to the HCL hybrid
// model and has no equivalent here yet.
//
#include "faulttree/fault_tree.hpp"
#include <string>
 
namespace faulttree {
 
FaultTree parseFtaString(const std::string &text);
 
FaultTree parseFtaFile(const std::string &path);
 
} // namespace faulttree