X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fcsolver.h;h=5ef235d3d8ce9b26032380b30c4cea82c85bd0f2;hp=eba7b3ccf47ffa7abb4dbae45e398591a8fd025c;hb=3c33c8ed7c4600da543b2a82bcffd5aca86f0eb9;hpb=8ae6061f7eae5614e9f8bf1ccd9ad80bef9cd768

diff --git a/src/csolver.h b/src/csolver.h
index eba7b3c..5ef235d 100644
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -103,6 +103,9 @@ public:
 
 	/** This exactly one element of array can be true! (i.e. a1 + a2 + a3 + ... + an = 1)*/
 	BooleanEdge applyExactlyOneConstraint (BooleanEdge *array, uint asize);
+	
+	/** This exactly one element of array can be true! (i.e. a1 => !a2 & !a3 & ... & !an)*/
+	BooleanEdge applyAtMostOneConstraint (BooleanEdge *array, uint asize);
 
 	/** This function applies a logical operation to the Booleans in its input. */