From 2bd74b751844230b82c58bfdd29666206562781d Mon Sep 17 00:00:00 2001 From: "Andrew V. Jones" Date: Sun, 20 Oct 2019 16:35:24 +0100 Subject: [PATCH] Cleaning-up the declaration of wrapped functions/methods, which have no definitions (#3399) Signed-off-by: Andrew V. Jones --- src/expr/symbol_table.cpp | 2 -- src/expr/symbol_table.h | 6 ------ src/options/options.h | 1 - 3 files changed, 9 deletions(-) diff --git a/src/expr/symbol_table.cpp b/src/expr/symbol_table.cpp index c14143ef1..deaf781f4 100644 --- a/src/expr/symbol_table.cpp +++ b/src/expr/symbol_table.cpp @@ -360,8 +360,6 @@ class SymbolTable::Implementation { void bindType(const string& name, const vector& params, Type t, bool levelZero = false); bool isBound(const string& name) const; - bool isBoundDefinedFunction(const string& name) const; - bool isBoundDefinedFunction(Expr func) const; bool isBoundType(const string& name) const; Expr lookup(const string& name) const; Type lookupType(const string& name) const; diff --git a/src/expr/symbol_table.h b/src/expr/symbol_table.h index 868106a19..8f3b0ec1b 100644 --- a/src/expr/symbol_table.h +++ b/src/expr/symbol_table.h @@ -108,12 +108,6 @@ class CVC4_PUBLIC SymbolTable { */ bool isBound(const std::string& name) const; - /** - * Check whether an Expr was bound to a function (i.e., was the - * second arg to bindDefinedFunction()). - */ - bool isBoundDefinedFunction(Expr func) const; - /** * Check whether a name is bound to a type (or type constructor). * diff --git a/src/options/options.h b/src/options/options.h index a21ce4583..3f758e392 100644 --- a/src/options/options.h +++ b/src/options/options.h @@ -227,7 +227,6 @@ public: bool getVersion() const; bool getWaitToJoin() const; const std::string& getForceLogicString() const; - const std::vector& getThreadArgv() const; int getVerbosity() const; std::istream* getIn() const; std::ostream* getErr(); -- 2.30.2