RiskWeaver.Cmd.BDD

Documentation

toBddContext :: CocoMap -> Maybe Double -> Maybe Double -> BddContext

showRisk :: CocoMap -> Maybe Double -> Maybe Double -> IO ()

showRiskWithError :: CocoMap -> Maybe Double -> Maybe Double -> IO ()

generateRiskWeightedDataset :: CocoMap -> FilePath -> Maybe Double -> Maybe Double -> IO ()

green :: (Int, Int, Int)

red :: (Int, Int, Int)

black :: (Int, Int, Int)

showDetectionImage :: CocoMap -> FilePath -> Maybe Double -> Maybe Double -> IO ()

(!!!) :: forall a b. Ord b => Map b [a] -> b -> [a]

evaluate :: CocoMap -> Maybe Double -> Maybe Double -> IO ()

bddCommand :: RiskCommands