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 __anondfffcc6f0111::Z3Solver