X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fccsolver.cc;h=aca46a59e37331ee87b20281aaee464fa5e7e532;hp=7707b74babcd70149011e1af8b9dea1f624c7398;hb=85d422935f1a6ebdb689f4108185521b022a51d9;hpb=974a00584da88dce9c638bd5fd981f2164176e2c;ds=sidebyside

diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index 7707b74..aca46a5 100644
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -104,16 +104,16 @@ void *applyPredicate(void *solver,void *predicate, void **inputs, unsigned int n
 
 void *applyLogicalOperation(void *solver,unsigned int op, void **array, unsigned int asize) {
 	BooleanEdge constr [asize];
-	for(uint i=0; i< asize; i++){
-		constr[i] = BooleanEdge((Boolean*)array[i]);
+	for (uint i = 0; i < asize; i++) {
+		constr[i] = BooleanEdge((Boolean *)array[i]);
 	}
 	return CCSOLVER(solver)->applyLogicalOperation((LogicOp) op, constr, (uint) asize).getRaw();
 }
 
 void *applyExactlyOneConstraint(void *solver, void **array, unsigned int asize) {
 	BooleanEdge constr [asize];
-	for(uint i=0; i< asize; i++){
-		constr[i] = BooleanEdge((Boolean*)array[i]);
+	for (uint i = 0; i < asize; i++) {
+		constr[i] = BooleanEdge((Boolean *)array[i]);
 	}
 	return CCSOLVER(solver)->applyExactlyOneConstraint( constr, (uint) asize).getRaw();
 }