-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | A fault tree analysis library.
--   
--   Fault tree analysis is used to determine probability of failure modes
--   in safety critical applications. Generates fault tree graphs
--   (Graphviz) and calculates cutsets. Yices (required) is the backend SMT
--   solver used for cutset calculation.
@package fault-tree
@version 0.0.0

module Language.FaultTree

-- | An event.
data Event

-- | Leaf node.
Leaf :: Name -> Event

-- | Named branch node.
Branch :: Name -> Event -> Event

-- | Logical NOT.
Not :: Event -> Event

-- | Logical AND.
And :: [Event] -> Event

-- | Logical OR.
Or :: [Event] -> Event

-- | Logical implication.
imply :: Event -> Event -> Event

-- | Render a Graphviz dot file from a set of <a>Event</a> (fault) trees.
dot :: [Event] -> String
cutsets :: FilePath -> Int -> Event -> [Event] -> IO ()
instance Show Event
instance Eq Event