Searched refs:fromFloatUnOp (Results 1 – 1 of 1) sorted by relevance
59 static inline SMTExprRef fromFloatUnOp(SMTSolverRef &Solver, in fromFloatUnOp() function190 return fromFloatUnOp(Solver, UO_LNot, in fromFloatSpecialBinOp()243 return fromFloatUnOp(Solver, UO_LNot, in fromFloatBinOp()