* Signature: (JIJI)J
*/
JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_createSet
- (JNIEnv *, jobject, jlong, jint, jlong, jint);
+ (JNIEnv *, jobject , jlong , jint , jlongArray arr);
/*
* Class: satune_SatuneJavaAPI
* Signature: (JJJIJ)J
*/
JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicateTable
- (JNIEnv *, jobject, jlong, jlong, jlong, jint, jlong);
+ (JNIEnv *, jobject, jlong, jlong, jlongArray, jlong);
/*
* Class: satune_SatuneJavaAPI
* Signature: (JJJI)J
*/
JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyPredicate
- (JNIEnv *, jobject, jlong, jlong, jlong, jint);
+ (JNIEnv *, jobject, jlong, jlong, jlongArray);
/*
* Class: satune_SatuneJavaAPI
* Signature: (JIJI)J
*/
JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyLogicalOperation
- (JNIEnv *, jobject, jlong, jint, jlong, jint);
+ (JNIEnv *, jobject, jlong, jint, jlongArray);
+
+/*
+ * Class: satune_SatuneJavaAPI
+ * Method: applyExactlyOneConstraint
+ * Signature: (JIJI)J
+ */
+JNIEXPORT jlong JNICALL Java_satune_SatuneJavaAPI_applyExactlyOneConstraint
+ (JNIEnv *, jobject, jlong, jlongArray );
/*
* Class: satune_SatuneJavaAPI
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
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