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