Searched refs:getFloatRoundingMode (Results 1 – 2 of 2) sorted by relevance
531 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPMul()539 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPDiv()553 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPAdd()561 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPSub()698 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPtoFP()706 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkSBVtoFP()714 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkUBVtoFP()722 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPtoSBV()729 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPtoUBV()793 SMTExprRef getFloatRoundingMode() override { in getFloatRoundingMode() function in __anona2cc94240111::Z3Solver
409 virtual SMTExprRef getFloatRoundingMode() = 0;