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()
498 SMTExprRef mkFPIsInfinite(const SMTExprRef &Exp) override { in mkFPIsInfinite() function in __anon0349533b0111::Z3Solver