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