diff options
author | Andres Noetzli <andres.noetzli@gmail.com> | 2020-07-02 17:14:22 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-07-02 17:14:22 -0700 |
commit | 2faf908ed88c798a25b4881e3ce3026dc139bca3 (patch) | |
tree | a0e0977d8c40e4c4e6f9aa36f517335062ee282b /src/smt | |
parent | 34661cedac9ea64c4cec5fc71f0d303eb7688723 (diff) |
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.
Diffstat (limited to 'src/smt')
-rw-r--r-- | src/smt/logic_exception.i | 7 | ||||
-rw-r--r-- | src/smt/smt_engine.i | 35 |
2 files changed, 0 insertions, 42 deletions
diff --git a/src/smt/logic_exception.i b/src/smt/logic_exception.i deleted file mode 100644 index 0c4ab50e0..000000000 --- a/src/smt/logic_exception.i +++ /dev/null @@ -1,7 +0,0 @@ -%{ -#include "smt/logic_exception.h" -%} - -%ignore CVC4::LogicException::LogicException(const char*); - -%include "smt/logic_exception.h" diff --git a/src/smt/smt_engine.i b/src/smt/smt_engine.i deleted file mode 100644 index 95a5f4f3b..000000000 --- a/src/smt/smt_engine.i +++ /dev/null @@ -1,35 +0,0 @@ -%{ -#include "smt/smt_engine.h" -%} - -#ifdef SWIGJAVA - -%typemap(javacode) CVC4::SmtEngine %{ - // a ref is kept here to keep Java GC from collecting the EM - // before the SmtEngine - private ExprManager em; -%} - -%typemap(javaconstruct) SmtEngine { - this($imcall, true); - this.em = em; // keep ref to expr manager in SWIG proxy class -} - -%typemap(javaout) CVC4::Expr { - return new Expr(this.em, $jnicall, true); -} - -%typemap(javaout) CVC4::UnsatCore { - return new UnsatCore(this.em, $jnicall, true); -} - -// %template(Map_ExprExpr) std::map<CVC4::Expr, CVC4::Expr>; -%ignore CVC4::SmtEngine::getSynthSolutions(std::map<Expr, Expr>& sol_map); - -#endif // SWIGJAVA - -%ignore CVC4::SmtEngine::setLogic(const char*); -%ignore CVC4::SmtEngine::setReplayStream(ExprStream* exprStream); -%ignore CVC4::smt::currentProofManager(); - -%include "smt/smt_engine.h" |