safeBoxToTypedVarMap | PropaFP.VarMap |
safeIntersectVarMap | PropaFP.VarMap |
safeVarMapToTypedVarMap | PropaFP.VarMap |
scanHypotheses | PropaFP.DeriveBounds |
scanHypothesis | PropaFP.DeriveBounds |
showFrac | PropaFP.Translators.FPTaylor |
simplifyE | PropaFP.Expression |
simplifyEDoubleList | PropaFP.Expression |
simplifyESafeDoubleList | PropaFP.Expression |
simplifyF | PropaFP.Expression |
simplifyFDNF | PropaFP.Expression |
simplifyFDoubleList | PropaFP.Expression |
Sin | PropaFP.Expression |
Sqrt | PropaFP.Expression |
Sub | PropaFP.Expression |
substAllEqualities | PropaFP.Parsers.Smt |
substVarEWithE | PropaFP.Expression |
substVarEWithLit | PropaFP.Expression |
substVarFWithE | PropaFP.Expression |
substVarFWithLit | PropaFP.Expression |
symbolicallySubstitutePiVars | PropaFP.Parsers.Smt |