|
ADS-IDAC Engine 5.0.0
|
One fault tree node: a basic event or a gate, identified by name. More...
#include <fault_tree.hpp>
Public Attributes | |
| std::string | name |
| Identity of the node within a tree. Must be non-empty and unique. More... | |
| GateType | type = GateType::Basic |
| Basic event or gate kind. Decides which of the fields below are used. More... | |
| double | probability = 0.0 |
| failure probability in [0, 1]; basic events only More... | |
| int | k = 1 |
| K/N gates only: threshold, 1 <= k <= number of inputs. More... | |
| std::vector< std::string > | children |
| inputs by name, in gate input order; empty for basic events More... | |
One fault tree node: a basic event or a gate, identified by name.
Inputs are held by name and resolved through the owning FaultTree, so a node can be added before the nodes it refers to. FaultTree::validate() checks that every reference resolves and that the fields below are consistent with type.
Definition at line 62 of file fault_tree.hpp.
| std::vector<std::string> faulttree::Node::children |
inputs by name, in gate input order; empty for basic events
Definition at line 69 of file fault_tree.hpp.
Referenced by faulttree::FaultTree::validate().
| int faulttree::Node::k = 1 |
K/N gates only: threshold, 1 <= k <= number of inputs.
Definition at line 68 of file fault_tree.hpp.
Referenced by faulttree::FaultTree::validate().
| std::string faulttree::Node::name |
Identity of the node within a tree. Must be non-empty and unique.
Definition at line 64 of file fault_tree.hpp.
Referenced by faulttree::FaultTree::addNode(), faulttree::FaultTree::basicEventNames(), and faulttree::FaultTree::validate().
| double faulttree::Node::probability = 0.0 |
failure probability in [0, 1]; basic events only
Definition at line 67 of file fault_tree.hpp.
Referenced by faulttree::FaultTree::setBasicEventProbability(), and faulttree::FaultTree::validate().
| GateType faulttree::Node::type = GateType::Basic |
Basic event or gate kind. Decides which of the fields below are used.
Definition at line 66 of file fault_tree.hpp.
Referenced by faulttree::FaultTree::basicEventNames(), faulttree::FaultTree::setBasicEventProbability(), and faulttree::FaultTree::validate().