301   SMTExprRef newExprRef(const SMTExpr &Exp) {  in newExprRef()
315   SMTSortRef getSort(const SMTExprRef &Exp) override {  in getSort()
336   SMTExprRef mkBVNeg(const SMTExprRef &Exp) override {  in mkBVNeg()
341   SMTExprRef mkBVNot(const SMTExprRef &Exp) override {  in mkBVNot()
346   SMTExprRef mkNot(const SMTExprRef &Exp) override {  in mkNot()
493   SMTExprRef mkFPNeg(const SMTExprRef &Exp) override {  in mkFPNeg()
498   SMTExprRef mkFPIsInfinite(const SMTExprRef &Exp) override {  in mkFPIsInfinite()
503   SMTExprRef mkFPIsNaN(const SMTExprRef &Exp) override {  in mkFPIsNaN()
508   SMTExprRef mkFPIsNormal(const SMTExprRef &Exp) override {  in mkFPIsNormal()
513   SMTExprRef mkFPIsZero(const SMTExprRef &Exp) override {  in mkFPIsZero()
593   SMTExprRef mkBVSignExt(unsigned i, const SMTExprRef &Exp) override {  in mkBVSignExt()
598   SMTExprRef mkBVZeroExt(unsigned i, const SMTExprRef &Exp) override {  in mkBVZeroExt()
604                          const SMTExprRef &Exp) override {  in mkBVExtract()
656   SMTExprRef mkBVNegNoOverflow(const SMTExprRef &Exp) override {  in mkBVNegNoOverflow()
768   llvm::APSInt getBitvector(const SMTExprRef &Exp, unsigned BitWidth,  in getBitvector()
777   bool getBoolean(const SMTExprRef &Exp) override {  in getBoolean()
845   bool getInterpretation(const SMTExprRef &Exp, llvm::APSInt &Int) override {  in getInterpretation()
859   bool getInterpretation(const SMTExprRef &Exp, llvm::APFloat &Float) override {  in getInterpretation()