X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FSatuneJavaAPI.java;h=a5e71d3c39e21baba983758d35ac8db990dfbfc0;hp=2b6baeaf6a05840123a9761e9ca69211ee74ca70;hb=974a00584da88dce9c638bd5fd981f2164176e2c;hpb=b0e243e3701d8b5bdad82b60138fa3b54466c705

diff --git a/src/SatuneJavaAPI.java b/src/SatuneJavaAPI.java
index 2b6baea..a5e71d3 100644
--- a/src/SatuneJavaAPI.java
+++ b/src/SatuneJavaAPI.java
@@ -43,6 +43,10 @@ public class SatuneJavaAPI{
             printConstraints(satune);
         }
 	
+        public void turnoffOptimizations(){
+            turnoffOptimizations(satune);
+        }
+	
         public int solve(){
             return solve(satune);
         }
@@ -81,6 +85,7 @@ public class SatuneJavaAPI{
 	private native int getBooleanValue(long solver,long bool);
 	private native int getOrderConstraintValue(long solver,long order, long first, long second);
 	private native void printConstraints(long solver);
+	private native void turnoffOptimizations(long solver);
 	private native void serialize(long solver);
 	private native void mustHaveValue(long solver, long element);
 	private native void setInterpreter(long solver, int type);