Searched refs:mkFloat (Results 1 – 3 of 3) sorted by relevance
409 virtual SMTExprRef mkFloat(const llvm::APFloat Float) = 0;
509 Solver->mkFloat(Zero)); in getZeroExpr()
750 SMTExprRef mkFloat(const llvm::APFloat Float) override { in mkFloat() function in __anon0349533b0111::Z3Solver