Module Analysis.NondetOps

Nondeterminism analysis: checks whether operations encapsulate or produce non-deterministic values

Author
Michael Hanus
Version
November 2024
Exported Datatypes:
Nondet
Exported Functions:
nondetOperationsshowNondet

Exported Datatypes

data Nondet

Data type to represent the (non-)determinism status of expressions and functions.

Constructors:

  • Det :: Nondet
  • Nondet :: Nondet
  • FunD :: Nondet -> Nondet -> Nondet

Known instances:

Exported Functions

showNondet :: AOutFormat -> Nondet -> String  Deterministic 

nondetOperations :: Analysis Nondet  Deterministic 

Non-determinism type analysis.

Further infos:
  • might behave indeterministically