ftree2bdd

Prepares a BDD string in if-then-else form '&lt;tag,if,else&gt;'

Construction, calculation and display of fault trees. Methods derived from Clifton A. Ericson II (2005, ISBN: 9780471739425) <DOI:10.1002/0471739421>, Antoine Rauzy (1993) <DOI:10.1016/0951-8320(93)90060-C>, Tim Bedford and Roger Cooke (2012, ISBN: 9780511813597) <DOI:10.1017/CBO9780511813597>, Nikolaos Limnios, (2007, ISBN: 9780470612484) <DOI: 10.1002/9780470612484>.

Jacob T Ormerod

FaultTree

Fault Trees for Risk and Reliability Analysis

David Silkworth

Jacob Ormerod

OpenReliability.org 

ftree2bdd function

<dl><dt>DF</dt>
<dd>A fault tree dataframe object.</dd><dt>ft_node</dt>
<dd>A gate node ID treated as top of (sub)tree to be calculated.</dd></dl>

Arguments

Generation of Binary Decision Diagram — ftree2bdd

<dl>

<dt>DF</dt>
<dd>A fault tree dataframe object.</dd>

<dt>ft_node</dt>
<dd>A gate node ID treated as top of (sub)tree to be calculated.</dd>

</dl>

ftree2bdd: Generation of Binary Decision Diagram

Description

Usage

Arguments

References