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 __anon6add9fa00111::Z3Solver