Searched refs:getFloatRoundingMode (Results 1 – 2 of 2) sorted by relevance
511 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPMul()519 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPDiv()533 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPAdd()541 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPSub()608 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPtoFP()616 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkSBVtoFP()624 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkUBVtoFP()632 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPtoSBV()639 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPtoUBV()688 SMTExprRef getFloatRoundingMode() override { in getFloatRoundingMode() function in __anon1f86e14b0211::Z3Solver
251 virtual SMTExprRef getFloatRoundingMode() = 0;