fault_tree.hpp File Reference

Fault tree model of the faulttree library: FaultTreeError, GateType, Node, and the FaultTree container with its structural validation. More...

#include <stdexcept>
#include <string>
#include <unordered_map>
#include <vector>

Include dependency graph for fault_tree.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	faulttree::FaultTreeError
	Exception type of the fault tree model, the .fta reader and the quantifier. More...
struct	faulttree::Node
	One fault tree node: a basic event or a gate, identified by name. More...
class	faulttree::FaultTree
	A fault tree: nodes keyed by name, plus a designated top event. More...

Namespaces
namespace	faulttree

Enumerations
enum class	faulttree::GateType {   faulttree::Basic , faulttree::And , faulttree::Or , faulttree::KofN ,   faulttree::Not }
	Kind of a fault tree node: a basic event or one of four gate types. More...

Detailed Description

Fault tree model of the faulttree library: FaultTreeError, GateType, Node, and the FaultTree container with its structural validation.

FaultTree is the in-memory model the rest of the library works on. The .fta reader (fta_parser.hpp) produces one, and Quantifier (quantifier.hpp) compiles one into a BNCore Bayesian network to obtain exact failure probabilities.

Definition in file fault_tree.hpp.