scram::core::Product
Collection of unique literals.
#include <fault_tree_analysis.h>
Public Functions
| Name | |
|---|---|
| Product(const std::vector< int > & data, const Pdag & graph)<br>Initializes product literals. | |
| bool | empty() const |
| int | size() const |
| int | order() const |
| double | p() const |
| auto | begin() const |
| auto | end() const |
Public Functions Documentation
function Product
cpp
inline Product(
const std::vector< int > & data,
const Pdag & graph
)Initializes product literals.
Parameters:
- data The underlying set.
- graph The graph with indices to events map.
function empty
cpp
inline bool empty() constReturn: true for unity product with no literals.
function size
cpp
inline int size() constReturn: The number of literals in the product.
function order
cpp
inline int order() constReturn: The order of the product.
Note: An empty set indicates the Base/Unity set.
function p
cpp
double p() constReturn: The product of the literal probabilities.
Precondition: Events are initialized with expressions.
function begin
cpp
inline auto begin() constReturn: A read proxy iterator that points to the first element.
function end
cpp
inline auto end() constReturn: A sentinel iterator signifying the end of iteration.
Updated on 2026-01-09 at 21:59:11 +0000
