| Copyright | (c) 2017 Dominic Orchard Andrew Rice Mistral Contrastin Matthew Danish |
|---|---|
| License | Apache-2.0 |
| Maintainer | dom.orchard@gmail.com |
| Stability | experimental |
| Safe Haskell | None |
| Language | Haskell2010 |
Camfort.Specification.Units.Analysis.Criticals
Description
This module defines an analysis for finding the critical variables in a program.
These critical variables form a set of variables that, when given unit annotations,
can be used to infer the unit types of all other variables in the program.
Synopsis
- inferCriticalVariables :: UnitAnalysis Criticals
Documentation
inferCriticalVariables :: UnitAnalysis Criticals Source #
Infer one possible set of critical variables for a program.