Serialize ID API
[satune.git] / src / satune_SatuneJavaAPI.cc
index 0a7d6725773f4219a85b45dea0eafe5cdf5bff96..e9f7d0625e77e51ff8b7ca2fd7a86b0019b7b7d0 100644 (file)
@@ -468,6 +468,17 @@ JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_turnoffOptimizations
        turnoffOptimizations((void *)solver);
 }
 
+/*
+ * Class:     SatuneJavaAPI
+ * Method:    serialize
+ * Signature: (J)V
+ */
+JNIEXPORT void JNICALL Java_satune_SatuneJavaAPI_serializeID
+       (JNIEnv *env, jobject obj, jlong solver, jlong id)
+{
+       serializeID((void *)solver, id);
+}
+
 /*
  * Class:     SatuneJavaAPI
  * Method:    serialize