From 2faf908ed88c798a25b4881e3ce3026dc139bca3 Mon Sep 17 00:00:00 2001 From: Andres Noetzli Date: Thu, 2 Jul 2020 17:14:22 -0700 Subject: Remove SWIG bindings (#4683) This commit removes support for SWIG bindings for the legacy API. The bindings were already broken by 19054b3b1d427e662d30d4322df2b2f2361353da and we are not planning on using SWIG for the Java API for the new API. --- src/expr/kind.i | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100644 src/expr/kind.i (limited to 'src/expr/kind.i') diff --git a/src/expr/kind.i b/src/expr/kind.i deleted file mode 100644 index 189c94f1f..000000000 --- a/src/expr/kind.i +++ /dev/null @@ -1,16 +0,0 @@ -%{ -#include "expr/kind.h" -%} - -%ignore CVC4::kind::operator<<(std::ostream&, CVC4::Kind); -%ignore CVC4::operator<<(std::ostream&, TypeConstant); -%ignore CVC4::theory::operator<<(std::ostream&, TheoryId); - -%ignore CVC4::theory::operator++(TheoryId&); - -%rename(apply) CVC4::kind::KindHashFunction::operator()(::CVC4::Kind) const; -%rename(apply) CVC4::TypeConstantHashFunction::operator()(TypeConstant) const; - -%rename(Kind) CVC4::kind::Kind_t; - -%include "expr/kind.h" -- cgit v1.2.3