X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FTest%2Ffuncencodingtest.cc;h=e3baeb95799c8f81d53e4152834fa1f93bad9bf9;hb=a66aabb1f6034db3920885d3a1a7519a9cbbd637;hp=d6a796200d7dc30fee4e8eeafa4d231ac902a3a1;hpb=faac5894230d569848367149a130486b965eb329;p=satune.git

diff --git a/src/Test/funcencodingtest.cc b/src/Test/funcencodingtest.cc
old mode 100644
new mode 100755
index d6a7962..e3baeb9
--- a/src/Test/funcencodingtest.cc
+++ b/src/Test/funcencodingtest.cc
@@ -31,7 +31,7 @@ int main(int numargs, char **argv) {
 	Element *e1 = solver->getElementVar(s1);
 	Element *e2 = solver->getElementVar(s2);
 	Element *e7 = solver->getElementVar(s5);
-	Boolean *overflow = solver->getBooleanVar(2);
+	BooleanEdge overflow = solver->getBooleanVar(2);
 	Set *d1[] = {s1, s2};
 	//change the overflow flag
 	Function *f1 = solver->createFunctionOperator(SATC_SUB, d1, 2, s2, SATC_IGNORE);
@@ -70,10 +70,10 @@ int main(int numargs, char **argv) {
 	Set *deq[] = {s5,s4};
 	Predicate *gt = solver->createPredicateOperator(SATC_GT, deq, 2);
 	Element *inputs2 [] = {e7, e6};
-	Boolean *pred = solver->applyPredicate(gt, inputs2, 2);
+	BooleanEdge pred = solver->applyPredicate(gt, inputs2, 2);
 	solver->addConstraint(pred);
 
-	if (solver->startEncoding() == 1)
+	if (solver->solve() == 1)
 		printf("e1=%" PRIu64 " e2=%" PRIu64 " e7=%" PRIu64 "\n",
 					 solver->getElementValue(e1), solver->getElementValue(e2), solver->getElementValue(e7));
 	else