diff options
Diffstat (limited to 'src/smt/smt_engine.i')
-rw-r--r-- | src/smt/smt_engine.i | 35 |
1 files changed, 0 insertions, 35 deletions
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" |