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