Serialize ID API

[satune.git] / src / SatuneJavaAPI.java

diff --git a/src/SatuneJavaAPI.java b/src/SatuneJavaAPI.java
index a5e71d3c39e21baba983758d35ac8db990dfbfc0..086b0c720a7c55becd4e29e4fd29079bda5d829e 100644 (file)
--- a/src/SatuneJavaAPI.java
+++ b/src/SatuneJavaAPI.java
@@ -87,6 +87,7 @@ public class SatuneJavaAPI{
        private native void printConstraints(long solver);
        private native void turnoffOptimizations(long solver);
        private native void serialize(long solver);
+       private native void serializeID(long solver, long id);
        private native void mustHaveValue(long solver, long element);
        private native void setInterpreter(long solver, int type);
        private native long clone(long solver);