Searched refs:SMTSortRef (Results 1 – 4 of 4) sorted by relevance
38 SMTSortRef getFloatSort(unsigned BitWidth) { in getFloatSort()54 virtual SMTSortRef getBoolSort() = 0;57 virtual SMTSortRef getBitvectorSort(const unsigned BitWidth) = 0;60 virtual SMTSortRef getFloat16Sort() = 0;63 virtual SMTSortRef getFloat32Sort() = 0;66 virtual SMTSortRef getFloat64Sort() = 0;69 virtual SMTSortRef getFloat128Sort() = 0;72 virtual SMTSortRef getSort(const SMTExprRef &AST) = 0;232 const SMTSortRef &To) = 0;237 const SMTSortRef &To) = 0;[all …]
86 using SMTSortRef = std::shared_ptr<SMTSort>; variable
28 static inline SMTSortRef mkSort(SMTSolverRef &Solver, const QualType &Ty, in mkSort()295 SMTSortRef Sort = Solver->getFloatSort(ToBitWidth); in fromCast()
290 SMTSortRef getBoolSort() override { in getBoolSort()294 SMTSortRef getBitvectorSort(unsigned BitWidth) override { in getBitvectorSort()299 SMTSortRef getSort(const SMTExprRef &Exp) override { in getSort()304 SMTSortRef getFloat16Sort() override { in getFloat16Sort()309 SMTSortRef getFloat32Sort() override { in getFloat32Sort()314 SMTSortRef getFloat64Sort() override { in getFloat64Sort()319 SMTSortRef getFloat128Sort() override { in getFloat128Sort()651 const SMTSortRef Sort = getBitvectorSort(BitWidth); in mkBitvector()658 SMTSortRef Sort = in mkFloat()762 SMTSortRef Sort = getSort(Assign); in getInterpretation()[all …]