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

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

centre	PropaFP.VarMap
checkFWithEval	PropaFP.DeriveBounds
CNF	PropaFP.Parsers.Smt
cnfExpressionAndDomainsToDreal	PropaFP.Translators.DReal
cnfExpressionAndDomainsToMetiTarski	PropaFP.Translators.MetiTarski
cnfExpressionsToSMT
1 (Function)	PropaFP.Translators.MetiTarski
2 (Function)	PropaFP.Translators.DReal
cnfExpressionsToTptp	PropaFP.Translators.MetiTarski
collapseOr	PropaFP.Parsers.Smt
collapseOrs	PropaFP.Parsers.Smt
Comp	PropaFP.Expression
computeE	PropaFP.Expression
computeECNF	PropaFP.Expression
computeEDisjunction	PropaFP.Expression
computeQualifiedEs	PropaFP.Expression
Cond	PropaFP.Parsers.Lisp.DataTypes
conjunctionToSMT	PropaFP.Translators.DReal
Conn	PropaFP.Expression
contains	PropaFP.VarMap
Cos	PropaFP.Expression