projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add a configuration for disabling the optimizations
[satune.git]
/
src
/
satune_SatuneJavaAPI.cc
diff --git
a/src/satune_SatuneJavaAPI.cc
b/src/satune_SatuneJavaAPI.cc
index d1397ee88e7ebe7be39cb2a98260c30bff990eb6..e337590fa92b409cb9272beb9e65a26ea8cfad77 100644
(file)
--- a/
src/satune_SatuneJavaAPI.cc
+++ b/
src/satune_SatuneJavaAPI.cc
@@
-457,6
+457,17
@@
JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraints
printConstraints((void *)solver);
}
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
/*
* Class: SatuneJavaAPI
* Method: serialize