Module Analysis.Indeterministic

Indeterminism analysis: check whether functions are indeterministic, i.e., might deliver different results for different runs of a program. This could be the case if there are explicit or implicit calls to SetFunctions.select or to a committed choice.

Author: Michael Hanus

Version: April 2013

Summary of exported operations:

indetAnalysis :: Analysis Bool   
The indeterminism analysis is a global function dependency analysis.
showIndet :: AOutFormat -> Bool -> String   

Exported operations:

indetAnalysis :: Analysis Bool   

The indeterminism analysis is a global function dependency analysis. It assigns to a function a flag which is True if this function might be indeterministic (i.e., calls directly or indirectly a select or committed choice operation).

showIndet :: AOutFormat -> Bool -> String   

Further infos:
  • solution complete, i.e., able to compute all solutions