X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FASTTransform%2Fpreprocess.cc;h=1e60c19f244468836eddcd05b1f1436cf3fc6bf8;hb=5e040993cc3173c0bce6c12bec127569b5d62c58;hp=1e04fd096470f2147727d4ae8d021cf3e57f52e0;hpb=4901eaf03e64e4ed21f1ec0d786b75b5aa29283c;p=satune.git

diff --git a/src/ASTTransform/preprocess.cc b/src/ASTTransform/preprocess.cc
index 1e04fd0..1e60c19 100644
--- a/src/ASTTransform/preprocess.cc
+++ b/src/ASTTransform/preprocess.cc
@@ -15,10 +15,10 @@ Preprocess::~Preprocess() {
 void Preprocess::doTransform() {
 	if (solver->getTuner()->getTunable(PREPROCESS, &onoff) == 0)
 		return;
-	
+
 	BooleanIterator bit(solver);
-	while(bit.hasNext()) {
-		Boolean *b=bit.next();
+	while (bit.hasNext()) {
+		Boolean *b = bit.next();
 		if (b->type == BOOLEANVAR)
 			processBooleanVar((BooleanVar *)b);
 	}
@@ -26,7 +26,7 @@ void Preprocess::doTransform() {
 }
 
 void Preprocess::resolveBooleanVars() {
-	SetIteratorBoolean * iterator = toremove.iterator();
+	SetIteratorBoolean *iterator = toremove.iterator();
 	while (iterator->hasNext()) {
 		BooleanVar *bv = (BooleanVar *) iterator->next();
 		if (bv->polarity == P_TRUE) {
@@ -38,9 +38,9 @@ void Preprocess::resolveBooleanVars() {
 	delete iterator;
 }
 
-void Preprocess::processBooleanVar(BooleanVar * b) {
-	if (b->polarity==P_TRUE ||
-			b->polarity==P_FALSE) {
+void Preprocess::processBooleanVar(BooleanVar *b) {
+	if (b->polarity == P_TRUE ||
+			b->polarity == P_FALSE) {
 		toremove.add(b);
 	}
 }