From: bdemsky <bdemsky@uci.edu>
Date: Thu, 31 Aug 2017 04:08:30 +0000 (-0700)
Subject: Add convenience functions
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=d7f3a82baf741d8b527d5cea0426c16e0ebc3348

Add convenience functions
---

diff --git a/src/csolver.cc b/src/csolver.cc
index d7003df..0d6e352 100644
--- 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 00abc66..b937f71 100644
--- 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 */