ftree2bdd: Generation of Binary Decision Diagram

View source: R/ftree2bdd.r

ftree2bddR Documentation

Generation of Binary Decision Diagram

Description

Prepares a BDD string in if-then-else form '<tag,if,else>'

Usage

ftree2bdd(DF, ft_node=1)

Arguments

DF

A fault tree dataframe object.

ft_node

A gate node ID treated as top of (sub)tree to be calculated.

References

Rauzy, Antoine (1993) "New algorithms for fault trees analysis" Reliabiity Engineering System Safety, volume 40

Limnios, Nikolaos (2007) Fault Trees ISTE,Ltd.


jto888/FaultTree documentation built on Aug. 30, 2023, 11:09 p.m.