From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Thu, 4 Dec 2014 02:58:50 +0000 (-0500)
Subject: Fix UnsatCore in language bindings.
X-Git-Tag: cvc5-1.0.0~6476
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9571f1f605f4465ffe049d7df22bc1dbabd50657;p=cvc5.git

Fix UnsatCore in language bindings.
---

diff --git a/src/cvc4.i b/src/cvc4.i
index 56404ee65..d845c1a27 100644
--- a/src/cvc4.i
+++ b/src/cvc4.i
@@ -323,6 +323,7 @@ std::set<JavaInputStreamAdapter*> CVC4::JavaInputStreamAdapter::s_adapters;
 %include "util/uninterpreted_constant.i"
 %include "util/proof.i"
 %include "util/resource_manager.i"
+%include "util/unsat_core.i"
 
 %include "expr/kind.i"
 %include "expr/expr.i"
diff --git a/src/util/unsat_core.i b/src/util/unsat_core.i
index 9fc0dcda6..060ee3300 100644
--- a/src/util/unsat_core.i
+++ b/src/util/unsat_core.i
@@ -1,5 +1,12 @@
 %{
 #include "util/unsat_core.h"
+
+#ifdef SWIGJAVA
+
+#include "bindings/java_iterator_adapter.h"
+#include "bindings/java_stream_adapters.h"
+
+#endif /* SWIGJAVA */
 %}
 
 #ifdef SWIGJAVA
@@ -49,3 +56,12 @@
 #endif /* SWIGJAVA */
 
 %include "util/unsat_core.h"
+
+#ifdef SWIGJAVA
+
+%include "bindings/java_iterator_adapter.h"
+%include "bindings/java_stream_adapters.h"
+
+%template(JavaIteratorAdapter_UnsatCore) CVC4::JavaIteratorAdapter<CVC4::UnsatCore>;
+
+#endif /* SWIGJAVA */