Bug fixes for Java API + Exactly one constraints + Adding support for getting the...

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index b99cf804b5e416aa3f8c7fee6896ec1120b72801..0ff566e53cee07fd935e35a58a60d63d668943ea 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -101,8 +101,11 @@ public:
 
        BooleanEdge applyPredicate(Predicate *predicate, Element **inputs, uint numInputs);
 
+       /** This exactly one element of array can be true! (i.e. a1 + a2 + a3 + ... + an = 1)*/
+       BooleanEdge applyExactlyOneConstraint (BooleanEdge *array, uint asize);
+       
        /** This function applies a logical operation to the Booleans in its input. */
-
+       
        BooleanEdge applyLogicalOperation(LogicOp op, BooleanEdge *array, uint asize);
 
        /** This function applies a logical operation to the Booleans in its input. */