Add convenience functions

diff --git a/src/csolver.cc b/src/csolver.cc
index d7003df0e95872b579cc0179db7f2a08a1cefa6c..0d6e352b50bcad23f6b6210bb80d04eddb25bd28 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -227,6 +227,17 @@ bool CSolver::isFalse(Boolean *b) {
        return b->isFalse();
 }
 
+Boolean *CSolver::applyLogicalOperation(LogicOp op, Boolean * arg1, Boolean * arg2) {
+       Boolean * array[] = {arg1, arg2};
+       return applyLogicalOperation(op, array, 2);
+}
+
+Boolean *CSolver::applyLogicalOperation(LogicOp op, Boolean *arg) {
+       Boolean * array[] = {arg};
+       return applyLogicalOperation(op, array, 1);
+}
+
+
 Boolean *CSolver::applyLogicalOperation(LogicOp op, Boolean **array, uint asize) {
        Boolean * newarray[asize];
        switch(op) {

diff --git a/src/csolver.h b/src/csolver.h
index 00abc666d7eb3f0df4a33906ecd917103816b10b..b937f7136486fa72242ea53aaf9014058688d1c8 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -86,6 +86,14 @@ public:
 
        Boolean *applyLogicalOperation(LogicOp op, Boolean **array, uint asize);
 
+               /** This function applies a logical operation to the Booleans in its input. */
+
+       Boolean *applyLogicalOperation(LogicOp op, Boolean * arg1, Boolean * arg2);
+
+       /** This function applies a logical operation to the Booleans in its input. */
+
+       Boolean *applyLogicalOperation(LogicOp op, Boolean *arg);
+
        /** This function adds a boolean constraint to the set of constraints
            to be satisfied */