Serialize ID API

[satune.git] / src / ccsolver.h

diff --git a/src/ccsolver.h b/src/ccsolver.h
index 638527c54f0d3370233bf6d556441c97357d94da..5f12b62fe1eec1afa52a7c746b2ab77934ff01e8 100644 (file)
--- a/src/ccsolver.h
+++ b/src/ccsolver.h
@@ -48,6 +48,7 @@ int getBooleanValue(void *solver,void *boolean);
 int getOrderConstraintValue(void *solver,void *order, long first, long second);
 void printConstraints(void *solver);
 void turnoffOptimizations(void *solver);
+void serializeID(void *solver, long id);
 void serialize(void *solver);
 void mustHaveValue(void *solver, void *element);
 void setInterpreter(void *solver, unsigned int type);