Searched refs:mkFPtoFP (Results 1 – 3 of 3) sorted by relevance
385 virtual SMTExprRef mkFPtoFP(const SMTExprRef &From, const SMTSortRef &To) = 0;
292 return Solver->mkFPtoFP(Exp, Solver->getFloatSort(ToBitWidth)); in fromCast()
697 SMTExprRef mkFPtoFP(const SMTExprRef &From, const SMTSortRef &To) override { in mkFPtoFP() function in __anona2cc94240111::Z3Solver