Adding API for AtMostOneConstraint + bugfix for turning off the optimizations

[satune.git] / src / ccsolver.h

diff --git a/src/ccsolver.h b/src/ccsolver.h
index 8e708b833e407aa2a4aed5205fd501cfd0919fb7..638527c54f0d3370233bf6d556441c97357d94da 100644 (file)
--- a/src/ccsolver.h
+++ b/src/ccsolver.h
@@ -33,6 +33,7 @@ void *applyPredicateTable(void *solver,void *predicate, void **inputs, unsigned
 void *applyPredicate(void *solver,void *predicate, void **inputs, unsigned int numInputs);
 void *applyLogicalOperation(void *solver,unsigned int op, void **array, unsigned int asize);
 void *applyExactlyOneConstraint(void *solver,void **array, unsigned int asize);
+void *applyAtMostOneConstraint(void *solver,void **array, unsigned int asize);
 void *applyLogicalOperationTwo(void *solver,unsigned int op, void *arg1, void *arg2);
 void *applyLogicalOperationOne(void *solver,unsigned int op, void *arg);
 void addConstraint(void *solver,void *constraint);