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