FaultTree Quantification

Fault tree model, .fta parser, and exact quantification on BNCore. More...

Files
file	fault_tree.hpp
	Fault tree model of the faulttree library: FaultTreeError, GateType, Node, and the FaultTree container with its structural validation.
file	fta_parser.hpp
	Reader that turns a GeNIe/SMILE .fta fault tree document into a validated faulttree::FaultTree.
file	quantifier.hpp
	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
	Minimal XML reader used by the .fta parser: the Element tree, its lookup helpers, and parse() / parseFile().

Detailed Description

Fault tree model, .fta parser, and exact quantification on BNCore.