← Documentation
ADS-IDAC Engine 5.0.0
faulttree Directory Reference
Directory dependency graph for faulttree:

Files

file  fault_tree.hpp [code]
 Fault tree model of the faulttree library: FaultTreeError, GateType, Node, and the FaultTree container with its structural validation.
 
file  fta_parser.hpp [code]
 Reader that turns a GeNIe/SMILE .fta fault tree document into a validated faulttree::FaultTree.
 
file  quantifier.hpp [code]
 Exact fault tree quantification: faulttree::Quantifier compiles a FaultTree into a BNCore Bayesian network and reads failure probabilities from its junction tree.
 
file  xml_lite.hpp [code]
 Minimal XML reader used by the .fta parser: the Element tree, its lookup helpers, and parse() / parseFile().