Cleaning-up the declaration of wrapped functions/methods, which have no definitions...

Signed-off-by: Andrew V. Jones <andrewvaughanj@gmail.com>

diff --git a/src/expr/symbol_table.cpp b/src/expr/symbol_table.cpp
index c14143ef1cf0dba7dbd36696a4322faf269a07b0..deaf781f40c4fb282574aefdae1f4ec5abb9e518 100644 (file)
--- 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<Type>& 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 868106a197f8e1ae4ca2f0410a4c877f1adf256c..8f3b0ec1b6b7e02305bffbe9f6138c2257ec04a8 100644 (file)
--- 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 a21ce4583645933cbdd8ef95daa53697046fcb66..3f758e39227376664c78da8f0d67a10dc2754bd5 100644 (file)
--- 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<std::string>& getThreadArgv() const;
   int getVerbosity() const;
   std::istream* getIn() const;
   std::ostream* getErr();