quantifier.hpp File Reference

Exact fault tree quantification: faulttree::Quantifier compiles a FaultTree into a BNCore Bayesian network and reads failure probabilities from its junction tree. More...

#include "faulttree/fault_tree.hpp"
#include <cstddef>
#include <memory>
#include <string>
#include <unordered_map>
#include <vector>

Include dependency graph for quantifier.hpp:

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

Go to the source code of this file.

Classes
class	faulttree::Quantifier
	Exact fault tree quantifier backed by a BNCore junction tree. More...

Namespaces
namespace	bncore
namespace	faulttree

Variables
constexpr std::size_t	faulttree::kMaxGateInputs = 20
	Largest number of inputs a single gate may have. More...

Detailed Description

Exact fault tree quantification: faulttree::Quantifier compiles a FaultTree into a BNCore Bayesian network and reads failure probabilities from its junction tree.

This header is the link between the fault tree model (fault_tree.hpp) and the BNCore inference library. BNCore types appear only as forward declarations, so including this header does not pull in the BNCore headers.

Definition in file quantifier.hpp.