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

Index - R

RealPropaFP.VarMap
removeFloatsPropaFP.EliminateFloats
removeVariableFreeComparisonsPropaFP.Expression
replaceEInEPropaFP.Expression
replaceEInFPropaFP.Expression
RNAPropaFP.Expression
RNEPropaFP.Expression
RoundingModePropaFP.Expression
roundMPBallPropaFP.DeriveBounds
RoundToIntegerPropaFP.Expression
RTNPropaFP.Expression
RTPPropaFP.Expression
RTZPropaFP.Expression
runDRealTranslatorCNFPropaFP.Translators.DReal
runDRealTranslatorCNFWithVarMapPropaFP.Translators.DReal
runMetiTarskiTranslatorCNFWithVarMapPropaFP.Translators.MetiTarski