Searched refs:getFloatRoundingMode (Results 1 – 2 of 2) sorted by relevance
519 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPMul()527 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPDiv()541 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPAdd()549 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPSub()686 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPtoFP()694 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkSBVtoFP()702 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkUBVtoFP()710 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPtoSBV()717 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPtoUBV()781 SMTExprRef getFloatRoundingMode() override { in getFloatRoundingMode() function in __anon0349533b0111::Z3Solver
396 virtual SMTExprRef getFloatRoundingMode() = 0;