reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
205 assert(*Solver->getSort(LHS) == *Solver->getSort(RHS) && 205 assert(*Solver->getSort(LHS) == *Solver->getSort(RHS) && 211 return Solver->mkFPMul(LHS, RHS); 214 return Solver->mkFPDiv(LHS, RHS); 217 return Solver->mkFPRem(LHS, RHS); 221 return Solver->mkFPAdd(LHS, RHS); 224 return Solver->mkFPSub(LHS, RHS); 228 return Solver->mkFPLt(LHS, RHS); 231 return Solver->mkFPGt(LHS, RHS); 234 return Solver->mkFPLe(LHS, RHS); 237 return Solver->mkFPGe(LHS, RHS); 241 return Solver->mkFPEqual(LHS, RHS); 244 return fromFloatUnOp(Solver, UO_LNot, 245 fromFloatBinOp(Solver, LHS, BO_EQ, RHS)); 250 return fromBinOp(Solver, LHS, Op, RHS, /*isSigned=*/false);