X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fsatune_SatuneJavaAPI.cc;fp=src%2Fsatune_SatuneJavaAPI.cc;h=e337590fa92b409cb9272beb9e65a26ea8cfad77;hp=d1397ee88e7ebe7be39cb2a98260c30bff990eb6;hb=974a00584da88dce9c638bd5fd981f2164176e2c;hpb=38c275a74e1bd8fb93a43293aaed664acc9a8b03

diff --git a/src/satune_SatuneJavaAPI.cc b/src/satune_SatuneJavaAPI.cc
index d1397ee..e337590 100644
--- a/src/satune_SatuneJavaAPI.cc
+++ b/src/satune_SatuneJavaAPI.cc
@@ -457,6 +457,17 @@ JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraints
 	printConstraints((void *)solver);
 }
 
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    turnoffOptimizations
+ * Signature: (J)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_turnoffOptimizations
+	(JNIEnv *env, jobject obj, jlong solver)
+{
+	turnoffOptimizations((void *)solver);
+}
+
 /*
  * Class:     SatuneJavaAPI
  * Method:    serialize