PropaFP-0.1.2.0: Auto-active verification of floating-point programs

Index - U

UnOpPropaFP.Expression
unsafeBoxToTypedVarMapPropaFP.VarMap
unsafeIntersectVarMapPropaFP.VarMap
unsafeVarMapToTypedVarMapPropaFP.VarMap
updateLowerPropaFP.DeriveBounds
updateUpperPropaFP.DeriveBounds
upperboundPropaFP.VarMap