camfort-0.901: CamFort - Cambridge Fortran infrastructure

Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Units.InferenceFrontend

Synopsis

Documentation

initInference :: UnitSolver () Source #

Prepare to run an inference function.

runCriticalVariables :: UnitSolver [UnitInfo] Source #

Return a list of critical variables as UnitInfo list (most likely to be of the UnitVar constructor).

runInferVariables :: UnitSolver [(VV, UnitInfo)] Source #

Return a list of variable names mapped to their corresponding unit that was inferred.

runInconsistentConstraints :: UnitSolver (Maybe Constraints) Source #

Return a possible list of unsolvable constraints.

getConstraint :: Annotated f => f UA -> Maybe Constraint Source #

Extract the constraint from a given annotated piece of AST.