RiskWeaver.Cmd.BDD
toBddContext :: CocoMap -> Maybe Double -> Maybe Double -> BddContext Source #
showRisk :: CocoMap -> Maybe Double -> Maybe Double -> IO () Source #
showRiskWithError :: CocoMap -> Maybe Double -> Maybe Double -> IO () Source #
generateRiskWeightedDataset :: CocoMap -> FilePath -> Maybe Double -> Maybe Double -> IO () Source #
green :: (Int, Int, Int) Source #
red :: (Int, Int, Int) Source #
black :: (Int, Int, Int) Source #
showDetectionImage :: CocoMap -> FilePath -> Maybe Double -> Maybe Double -> IO () Source #
(!!!) :: forall a b. Ord b => Map b [a] -> b -> [a] Source #
evaluate :: CocoMap -> Maybe Double -> Maybe Double -> IO () Source #
bddCommand :: RiskCommands Source #