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