| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Camfort.Specification.Units.InferenceBackendSBV
Synopsis
- inconsistentConstraints :: Constraints -> Maybe Constraints
- criticalVariables :: Constraints -> [UnitInfo]
- inferVariables :: Constraints -> [(VV, UnitInfo)]
- genUnitAssignments :: Constraints -> [(UnitInfo, UnitInfo)]
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.
genUnitAssignments :: Constraints -> [(UnitInfo, UnitInfo)] Source #