fault-tree-0.0.0: A fault tree analysis library.

Language.FaultTree

Synopsis

Documentation

data Event Source

An event.

Constructors

Leaf Name

Leaf node.

Branch Name Event

Named branch node.

Not Event

Logical NOT.

And [Event]

Logical AND.

Or [Event]

Logical OR.

Instances

imply :: Event -> Event -> EventSource

Logical implication.

dot :: [Event] -> StringSource

Render a Graphviz dot file from a set of Event (fault) trees.

cutsets :: FilePath -> Int -> Event -> [Event] -> IO ()Source