Camfort.Specification.Units.InferenceBackend
pprint
debugInfoForNonZeros
errorMessage
reportInconsistency
extendConstraints
swapUnitVarCats
swapUnitVarCats'
swapCols
class UpdateColInfo t
reorderVarCols
reduceRows
solveSystemM
checkUnderdeterminedM
checkUnderdetermined
lookupVarsByColsFilterByArg
firstNonZeroCoeff
checkUnderdetermined'
propagateUnderdetermined
intrinsicsDict
addPlain1ArgIntrinsic
addPlain2ArgIntrinsic
addPlain1Arg1ExtraIntrinsic
addPlain2Arg1ExtraIntrinsic
addProductIntrinsic
addPowerIntrinsic
addUnitlessIntrinsic
addUnitlessSubIntrinsic
addUnitlessResult0ArgIntrinsic
addUnitlessResult1ArgIntrinsic
addUnitlessResult2AnyArgIntrinsic
addUnitlessResult2SameArgIntrinsic
mustEqual
mustAddUp
sqrtUnits
anyUnits
inverse
fixValue
moveElem
incrElem
moveCol