camfort-1.1.1: CamFort - Cambridge Fortran infrastructure
Safe HaskellNone
LanguageHaskell2010

Camfort.Specification.Units.InferenceBackendSBV

Synopsis

Documentation

inconsistentConstraints :: Constraints -> Maybe Constraints Source #

Returns just the list of constraints that were identified as being possible candidates for inconsistency, if there is a problem.

criticalVariables :: Constraints -> [UnitInfo] Source #

Identifies the variables that need to be annotated in order for inference or checking to work.

inferVariables :: Constraints -> [(VV, UnitInfo)] Source #

Returns list of formerly-undetermined variables and their units.