299   SMTExprRef newExprRef(const SMTExpr &Exp) {  in newExprRef()
313   SMTSortRef getSort(const SMTExprRef &Exp) override {  in getSort()
334   SMTExprRef mkBVNeg(const SMTExprRef &Exp) override {  in mkBVNeg()
339   SMTExprRef mkBVNot(const SMTExprRef &Exp) override {  in mkBVNot()
344   SMTExprRef mkNot(const SMTExprRef &Exp) override {  in mkNot()
491   SMTExprRef mkFPNeg(const SMTExprRef &Exp) override {  in mkFPNeg()
496   SMTExprRef mkFPIsInfinite(const SMTExprRef &Exp) override {  in mkFPIsInfinite()
501   SMTExprRef mkFPIsNaN(const SMTExprRef &Exp) override {  in mkFPIsNaN()
506   SMTExprRef mkFPIsNormal(const SMTExprRef &Exp) override {  in mkFPIsNormal()
511   SMTExprRef mkFPIsZero(const SMTExprRef &Exp) override {  in mkFPIsZero()
591   SMTExprRef mkBVSignExt(unsigned i, const SMTExprRef &Exp) override {  in mkBVSignExt()
596   SMTExprRef mkBVZeroExt(unsigned i, const SMTExprRef &Exp) override {  in mkBVZeroExt()
602                          const SMTExprRef &Exp) override {  in mkBVExtract()
654   SMTExprRef mkBVNegNoOverflow(const SMTExprRef &Exp) override {  in mkBVNegNoOverflow()
766   llvm::APSInt getBitvector(const SMTExprRef &Exp, unsigned BitWidth,  in getBitvector()
775   bool getBoolean(const SMTExprRef &Exp) override {  in getBoolean()
843   bool getInterpretation(const SMTExprRef &Exp, llvm::APSInt &Int) override {  in getInterpretation()
857   bool getInterpretation(const SMTExprRef &Exp, llvm::APFloat &Float) override {  in getInterpretation()