Module NondetAnalysis

Summary of exported operations:

getNondetInfos :: String -> IO [(String,Bool)]  Non-deterministic 

Exported operations:

getNondetInfos :: String -> IO [(String,Bool)]  Non-deterministic