Adding an API for translating the value of an BooleanOrder

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index c45d7ee38c3ab33c9ead806ff1dffe4e10cbd454..1e697948e83518465a9c7412c8cdace3c9b24d99 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -125,4 +125,6 @@ uint64_t getElementValue(CSolver*, Element* element);
 /** After getting the solution from the SAT solver, client can get the value of a boolean via this function*/
 bool getBooleanValue( CSolver* , Boolean* boolean);
 
+HappenedBefore getOrderConstraintValue(CSolver*, Boolean* orderConstr);
+
 #endif