Searched refs:getFloatRoundingMode (Results 1 – 2 of 2) sorted by relevance
517 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPMul()525 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPDiv()539 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPAdd()547 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPSub()684 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPtoFP()692 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkSBVtoFP()700 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkUBVtoFP()708 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPtoSBV()715 SMTExprRef RoundingMode = getFloatRoundingMode(); in mkFPtoUBV()779 SMTExprRef getFloatRoundingMode() override { in getFloatRoundingMode() function in __anondfffcc6f0111::Z3Solver
396 virtual SMTExprRef getFloatRoundingMode() = 0;