PropaFP-0.1.1.0: Auto-active verification of floating-point programs (Index - F)

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

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
_
All

Index - F

F	PropaFP.Expression
FComp	PropaFP.Expression
FConn	PropaFP.Expression
fContainsVars	PropaFP.Parsers.Smt
fDNFToEDNF	PropaFP.Expression
fDNFToFDNFWithoutEq	PropaFP.Expression
FFalse	PropaFP.Expression
filterOutCircularVarEqualities	PropaFP.Parsers.Smt
filterOutDuplicateVarEqualities	PropaFP.Parsers.Smt
findAbsoluteErrorUsingFPTaylor	PropaFP.EliminateFloats
findAssertions	PropaFP.Parsers.Smt
findDeclarations	PropaFP.Parsers.Smt
findFunctionInputsAndOutputs	PropaFP.Parsers.Smt
findGoalsInAssertions	PropaFP.Parsers.Smt
findIntegerVariables	PropaFP.Parsers.Smt
findVarEqualities	PropaFP.Parsers.Smt
findVariables	PropaFP.Parsers.Smt
findVariablesInExpressions	PropaFP.Parsers.Smt
findVariablesInFormula	PropaFP.Parsers.Smt
findVariableType	PropaFP.Parsers.Smt
flipStrictness	PropaFP.Expression
Float	PropaFP.Expression
Float32	PropaFP.Expression
Float64	PropaFP.Expression
fmapESafe	PropaFP.Expression
FNot	PropaFP.Expression
formulaAndVarMapToDReal	PropaFP.Translators.DReal
formulaAndVarMapToMetiTarski	PropaFP.Translators.MetiTarski
formulaToSMT	PropaFP.Translators.DReal
formulaToTPTP	PropaFP.Translators.MetiTarski
Frame	PropaFP.Parsers.Lisp.DataTypes
fToConjunction	PropaFP.Translators.DReal
fToECNF	PropaFP.Expression
fToEDNF	PropaFP.Expression
fToFDNF	PropaFP.Expression
FTrue	PropaFP.Expression
fullBisect	PropaFP.VarMap