292   SMTSortRef newSortRef(const SMTSort &Sort) {  in newSortRef()
304   SMTSortRef getBoolSort() override {  in getBoolSort()
308   SMTSortRef getBitvectorSort(unsigned BitWidth) override {  in getBitvectorSort()
313   SMTSortRef getSort(const SMTExprRef &Exp) override {  in getSort()
318   SMTSortRef getFloat16Sort() override {  in getFloat16Sort()
322   SMTSortRef getFloat32Sort() override {  in getFloat32Sort()
326   SMTSortRef getFloat64Sort() override {  in getFloat64Sort()
330   SMTSortRef getFloat128Sort() override {  in getFloat128Sort()
683   SMTExprRef mkFPtoFP(const SMTExprRef &From, const SMTSortRef &To) override {  in mkFPtoFP()
691   SMTExprRef mkSBVtoFP(const SMTExprRef &From, const SMTSortRef &To) override {  in mkSBVtoFP()
699   SMTExprRef mkUBVtoFP(const SMTExprRef &From, const SMTSortRef &To) override {  in mkUBVtoFP()
749     SMTSortRef Sort =  in mkFloat()
759   SMTExprRef mkSymbol(const char *Name, SMTSortRef Sort) override {  in mkSymbol()
784   bool toAPFloat(const SMTSortRef &Sort, const SMTExprRef &AST,  in toAPFloat()
791     SMTSortRef BVSort = getBitvectorSort(Sort->getFloatSortSize());  in toAPFloat()
805   bool toAPSInt(const SMTSortRef &Sort, const SMTExprRef &AST,  in toAPSInt()
853     SMTSortRef Sort = getSort(Assign);  in getInterpretation()
867     SMTSortRef Sort = getSort(Assign);  in getInterpretation()