Camfort.Specification.Units.InferenceBackend

Documentation

inconsistentConstraints :: Constraints -> Maybe Constraints

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

criticalVariables :: Constraints -> [UnitInfo]

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

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

Returns list of formerly-undetermined variables and their units.

shiftTerms :: ([UnitInfo], [UnitInfo]) -> ([UnitInfo], [UnitInfo])

Shift UnitNames to the RHS, and all else to the LHS.

flattenConstraints :: Constraints -> [([UnitInfo], [UnitInfo])]

Translate all constraints into a LHS, RHS side of units.

flattenUnits :: UnitInfo -> [UnitInfo]

constraintsToMatrix :: Constraints -> (Matrix Double, [Int], Array Int UnitInfo)

rref :: Matrix Double -> Matrix Double

Returns given matrix transformed into Reduced Row Echelon Form

isInconsistentRREF :: (Field t, Eq t) => Matrix t -> Bool

Returns True iff the given matrix in reduced row echelon form represents an inconsistent system of linear equations