reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
144 SMTSortRef getFloatSort(unsigned BitWidth) { 160 virtual SMTSortRef getBoolSort() = 0; 163 virtual SMTSortRef getBitvectorSort(const unsigned BitWidth) = 0; 166 virtual SMTSortRef getFloat16Sort() = 0; 169 virtual SMTSortRef getFloat32Sort() = 0; 172 virtual SMTSortRef getFloat64Sort() = 0; 175 virtual SMTSortRef getFloat128Sort() = 0; 178 virtual SMTSortRef getSort(const SMTExprRef &AST) = 0; 372 virtual SMTExprRef mkFPtoFP(const SMTExprRef &From, const SMTSortRef &To) = 0; 377 const SMTSortRef &To) = 0; 382 const SMTSortRef &To) = 0; 393 virtual SMTExprRef mkSymbol(const char *Name, SMTSortRef Sort) = 0;tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/SMTConv.h
27 static inline llvm::SMTSortRef mkSort(llvm::SMTSolverRef &Solver, 298 llvm::SMTSortRef Sort = Solver->getFloatSort(ToBitWidth);