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

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 - E

E	PropaFP.Expression
EBinOp	PropaFP.Expression
eContainsVars	PropaFP.Parsers.Smt
eliminateFloatsAndSimplifyVC	PropaFP.Parsers.Smt
eliminateFloatsF	PropaFP.EliminateFloats
eliminateKnownFunctionGuard	PropaFP.Parsers.Smt
eliminateKnownFunctionGuards	PropaFP.Parsers.Smt
EmptyEnvironment	PropaFP.Parsers.Lisp.DataTypes
ENonStrict	PropaFP.Expression
Environment
1 (Type/Class)	PropaFP.Parsers.Lisp.DataTypes
2 (Data Constructor)	PropaFP.Parsers.Lisp.DataTypes
Eq	PropaFP.Expression
ESafe	PropaFP.Expression
eSafeCNFToDNF	PropaFP.Expression
eSafeCNFToF	PropaFP.Expression
eSafeDisjToF	PropaFP.Expression
eSafeToF	PropaFP.Expression
EStrict	PropaFP.Expression
EUnOp	PropaFP.Expression
evalE	PropaFP.DeriveBounds
evalE_Rational	PropaFP.DeriveBounds
evalF_comparisons	PropaFP.DeriveBounds
Exception	PropaFP.Parsers.Lisp.DataTypes
Expression	PropaFP.Parsers.Lisp.DataTypes
expressionToBoxFun	PropaFP.Translators.BoxFun
expressionToFPTaylor	PropaFP.Translators.FPTaylor
expressionToSMT	PropaFP.Translators.DReal
expressionToTPTP	PropaFP.Translators.MetiTarski
expressionWithVarMapToFPTaylor	PropaFP.Translators.FPTaylor
extendEnvironment	PropaFP.Parsers.Lisp.DataTypes
extractSafeE	PropaFP.Expression
extractVariablesE	PropaFP.Expression
extractVariablesECNF	PropaFP.Expression
extractVariablesF	PropaFP.Expression