Module CurryBrowseAnalysis.Indeterminism

Indeterminism analysis: check whether functions are indeterministic, i.e., contain an indirect/implicit call to a committed choice.

Author: Michael Hanus

Version: November 2020

Summary of exported operations:

analyseIndeterminism
                  ::  [FuncDecl] -> [((String,String),Bool)]

choiceInExpr
                  ::  Expr -> Bool

analyseIndeterminism :: [FuncDecl] -> [((String,String),Bool)]