From 5e040993cc3173c0bce6c12bec127569b5d62c58 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Fri, 12 Oct 2018 19:21:19 -0700
Subject: [PATCH 1/1] fix tabbing

---
 src/ASTTransform/varorderingopt.cc | 18 +++++++++---------
 src/ASTTransform/varorderingopt.h  | 14 +++++++-------
 src/Backend/satencoder.h           |  2 +-
 src/Tuner/tunable.h                |  4 ++--
 src/csolver.cc                     |  4 ++--
 src/csolver.h                      |  2 +-
 6 files changed, 22 insertions(+), 22 deletions(-)

diff --git a/src/ASTTransform/varorderingopt.cc b/src/ASTTransform/varorderingopt.cc
index 41f3edb..52beda9 100644
--- a/src/ASTTransform/varorderingopt.cc
+++ b/src/ASTTransform/varorderingopt.cc
@@ -4,10 +4,10 @@
  * and open the template in the editor.
  */
 
-/* 
+/*
  * File:   VarOrderingOpt.cpp
  * Author: hamed
- * 
+ *
  * Created on October 11, 2018, 5:31 PM
  */
 
@@ -18,21 +18,21 @@
 #include "elementencoding.h"
 #include "element.h"
 
-VarOrderingOpt::VarOrderingOpt(CSolver *_solver, SATEncoder *_satencoder): Transform(_solver){
+VarOrderingOpt::VarOrderingOpt(CSolver *_solver, SATEncoder *_satencoder) : Transform(_solver) {
 	satencoder = _satencoder;
 }
 
 VarOrderingOpt::~VarOrderingOpt() {
 }
 
-void VarOrderingOpt::doTransform(){
+void VarOrderingOpt::doTransform() {
 	BooleanVarOrdering direction = (BooleanVarOrdering)solver->getTuner()->getTunable(VARIABLEORDER, &boolVarOrderingDesc);
-	if ( direction == CONSTRAINTORDERING ){
+	if ( direction == CONSTRAINTORDERING ) {
 		return;
 	}
-	
+
 	uint size = solver->allElements.getSize();
-	if(direction == CHORONOLOGICALORDERING){
+	if (direction == CHORONOLOGICALORDERING) {
 		for (uint i = 0; i < size; i++) {
 			Element *el = solver->allElements.get(i);
 			ElementEncoding *encoding = el->getElementEncoding();
@@ -40,8 +40,8 @@ void VarOrderingOpt::doTransform(){
 				continue;
 			satencoder->encodeElementSATEncoder(el);
 		}
-	}else{
-		for (int i = size-1; i>0; i--) {
+	} else {
+		for (int i = size - 1; i > 0; i--) {
 			Element *el = solver->allElements.get(i);
 			ElementEncoding *encoding = el->getElementEncoding();
 			if (encoding->getElementEncodingType() == ELEM_UNASSIGNED)
diff --git a/src/ASTTransform/varorderingopt.h b/src/ASTTransform/varorderingopt.h
index efb0152..ed134d7 100644
--- a/src/ASTTransform/varorderingopt.h
+++ b/src/ASTTransform/varorderingopt.h
@@ -4,7 +4,7 @@
  * and open the template in the editor.
  */
 
-/* 
+/*
  * File:   VarOrderingOpt.h
  * Author: hamed
  *
@@ -17,14 +17,14 @@
 #include "transform.h"
 
 
-class VarOrderingOpt :Transform {
+class VarOrderingOpt : Transform {
 public:
-        VarOrderingOpt(CSolver *_solver, SATEncoder *_satencoder);
-        void doTransform();
-        virtual ~VarOrderingOpt();
+	VarOrderingOpt(CSolver *_solver, SATEncoder *_satencoder);
+	void doTransform();
+	virtual ~VarOrderingOpt();
 private:
-        SATEncoder* satencoder;
+	SATEncoder *satencoder;
 };
 
-#endif /* VARORDERINGOPT_H */
+#endif/* VARORDERINGOPT_H */
 
diff --git a/src/Backend/satencoder.h b/src/Backend/satencoder.h
index 827a904..0bb29f5 100644
--- a/src/Backend/satencoder.h
+++ b/src/Backend/satencoder.h
@@ -69,7 +69,7 @@ private:
 	CSolver *solver;
 	BooleanToEdgeMap booledgeMap;
 	VectorEdge *vector;
-        friend class VarOrderingOpt;
+	friend class VarOrderingOpt;
 };
 
 void allocElementConstraintVariables(ElementEncoding *ee, uint numVars);
diff --git a/src/Tuner/tunable.h b/src/Tuner/tunable.h
index d838547..a7ab4e9 100644
--- a/src/Tuner/tunable.h
+++ b/src/Tuner/tunable.h
@@ -44,8 +44,8 @@ static TunableDesc NodeEncodingDesc(ELEM_UNASSIGNED, BINARYINDEX, ELEM_UNASSIGNE
 static TunableDesc NaiveEncodingDesc(ONEHOT, BINARYINDEX, ONEHOT);
 static TunableDesc boolVarOrderingDesc(CONSTRAINTORDERING, REVERSEORDERING, REVERSEORDERING);
 
-enum Tunables {DECOMPOSEORDER, MUSTREACHGLOBAL, MUSTREACHLOCAL, MUSTREACHPRUNE, OPTIMIZEORDERSTRUCTURE, ORDERINTEGERENCODING, PREPROCESS, NODEENCODING, EDGEENCODING, MUSTEDGEPRUNE, ELEMENTOPT, 
-        ENCODINGGRAPHOPT, ELEMENTOPTSETS, PROXYVARIABLE, MUSTVALUE, NAIVEENCODER, VARIABLEORDER};
+enum Tunables {DECOMPOSEORDER, MUSTREACHGLOBAL, MUSTREACHLOCAL, MUSTREACHPRUNE, OPTIMIZEORDERSTRUCTURE, ORDERINTEGERENCODING, PREPROCESS, NODEENCODING, EDGEENCODING, MUSTEDGEPRUNE, ELEMENTOPT,
+							 ENCODINGGRAPHOPT, ELEMENTOPTSETS, PROXYVARIABLE, MUSTVALUE, NAIVEENCODER, VARIABLEORDER};
 typedef enum Tunables Tunables;
 
 const char *tunableParameterToString(Tunables tunable);
diff --git a/src/csolver.cc b/src/csolver.cc
index a8ffc49..51f0943 100644
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -625,10 +625,10 @@ int CSolver::solve() {
 
 	VarOrderingOpt bor(this, satEncoder);
 	bor.doTransform();
-	
+
 	time2 = getTimeNano();
 	model_print("Encoding Graph Time: %f\n", (time2 - time1) / NANOSEC);
-	
+
 	satEncoder->encodeAllSATEncoder(this);
 	time1 = getTimeNano();
 
diff --git a/src/csolver.h b/src/csolver.h
index 1bc2476..16937dd 100644
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -222,7 +222,7 @@ private:
 	long long elapsedTime;
 	long satsolverTimeout;
 	friend class ElementOpt;
-        friend class VarOrderingOpt;
+	friend class VarOrderingOpt;
 };
 
 inline CompOp flipOp(CompOp op) {
-- 
2.34.1