Real | PropaFP.VarMap |
removeFloats | PropaFP.EliminateFloats |
removeVariableFreeComparisons | PropaFP.Expression |
replaceEInE | PropaFP.Expression |
replaceEInF | PropaFP.Expression |
RNA | PropaFP.Expression |
RNE | PropaFP.Expression |
RoundingMode | PropaFP.Expression |
roundMPBall | PropaFP.DeriveBounds |
RoundToInteger | PropaFP.Expression |
RTN | PropaFP.Expression |
RTP | PropaFP.Expression |
RTZ | PropaFP.Expression |
runDRealTranslatorCNF | PropaFP.Translators.DReal |
runDRealTranslatorCNFWithVarMap | PropaFP.Translators.DReal |
runMetiTarskiTranslatorCNFWithVarMap | PropaFP.Translators.MetiTarski |