|
ADS-IDAC Engine 5.0.0
|
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(). | |