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

Index - S

safeBoxToTypedVarMapPropaFP.VarMap
safeIntersectVarMapPropaFP.VarMap
safeVarMapToTypedVarMapPropaFP.VarMap
scanHypothesesPropaFP.DeriveBounds
scanHypothesisPropaFP.DeriveBounds
showFracPropaFP.Translators.FPTaylor
simplifyEPropaFP.Expression
simplifyEDoubleListPropaFP.Expression
simplifyESafeDoubleListPropaFP.Expression
simplifyFPropaFP.Expression
simplifyFDNFPropaFP.Expression
simplifyFDoubleListPropaFP.Expression
SinPropaFP.Expression
SqrtPropaFP.Expression
SubPropaFP.Expression
substAllEqualitiesPropaFP.Parsers.Smt
substVarEWithEPropaFP.Expression
substVarEWithLitPropaFP.Expression
substVarFWithEPropaFP.Expression
substVarFWithLitPropaFP.Expression
symbolicallySubstitutePiVarsPropaFP.Parsers.Smt