projects
/
satune.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Merging + fixing memory bugs
[satune.git]
/
src
/
satune_SatuneJavaAPI.h
diff --git
a/src/satune_SatuneJavaAPI.h
b/src/satune_SatuneJavaAPI.h
index 93a386df53c7b49999410adbbbc45e53cd5e75e9..0a0b6e5c2cc8301f443a180444f9a60e71c6907e 100644
(file)
--- a/
src/satune_SatuneJavaAPI.h
+++ b/
src/satune_SatuneJavaAPI.h
@@
-280,6
+280,14
@@
JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_orderConstraint
JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_solve
(JNIEnv *, jobject, jlong);
JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_solve
(JNIEnv *, jobject, jlong);
+/*
+ * Class: satune_SatuneJavaAPI
+ * Method: solveIncremental
+ * Signature: (J)I
+ */
+JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_solveIncremental
+ (JNIEnv *, jobject, jlong);
+
/*
* Class: satune_SatuneJavaAPI
* Method: getElementValue
/*
* Class: satune_SatuneJavaAPI
* Method: getElementValue
@@
-288,6
+296,15
@@
JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_solve
JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementValue
(JNIEnv *, jobject, jlong, jlong);
JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_getElementValue
(JNIEnv *, jobject, jlong, jlong);
+
+/*
+ * Class: satune_SatuneJavaAPI
+ * Method: getElementValue
+ * Signature: (JJ)J
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_freezeElement
+ (JNIEnv *, jobject, jlong, jlong);
+
/*
* Class: satune_SatuneJavaAPI
* Method: getBooleanValue
/*
* Class: satune_SatuneJavaAPI
* Method: getBooleanValue
@@
-312,6
+329,14
@@
JNIEXPORT jint JNICALL Java_satune_SatuneJavaAPI_getOrderConstraintValue
JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraints
(JNIEnv *, jobject, jlong);
JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_printConstraints
(JNIEnv *, jobject, jlong);
+/*
+ * Class: satune_SatuneJavaAPI
+ * Method: turnoffOptimizations
+ * Signature: (J)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_turnoffOptimizations
+ (JNIEnv *, jobject, jlong);
+
/*
* Class: satune_SatuneJavaAPI
* Method: serialize
/*
* Class: satune_SatuneJavaAPI
* Method: serialize