Searched refs:mkFPIsInfinite (Results 1 – 3 of 3) sorted by relevance
328 virtual SMTExprRef mkFPIsInfinite(const SMTExprRef &Exp) = 0;
177 return Solver->mkFPIsInfinite(LHS); in fromFloatSpecialBinOp()
496 SMTExprRef mkFPIsInfinite(const SMTExprRef &Exp) override { in mkFPIsInfinite() function in __anonca7d1dd80111::Z3Solver