Add a configuration for disabling the optimizations

[satune.git] / src / SatuneJavaAPI.java

diff --git a/src/SatuneJavaAPI.java b/src/SatuneJavaAPI.java
index 2b6baeaf6a05840123a9761e9ca69211ee74ca70..a5e71d3c39e21baba983758d35ac8db990dfbfc0 100644 (file)
--- 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);