X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=constgen.h;h=8669a7f98bcc3aaa13e40c7c792d7c2c965e04d3;hb=086658309f67c28dc254b06bda5bafa8c3e191d6;hp=68c02e70a3ca27bcab4da169da5dd05fd7133568;hpb=5f3838b041321eb417737eed51c8639266c0d77c;p=satcheck.git

diff --git a/constgen.h b/constgen.h
index 68c02e7..8669a7f 100644
--- a/constgen.h
+++ b/constgen.h
@@ -46,7 +46,7 @@ struct MC_Stat {
 #endif
 
 class ConstGen {
- public:
+public:
 	ConstGen(MCExecution *e);
 	~ConstGen();
 	bool process();
@@ -71,13 +71,13 @@ class ConstGen {
 #ifdef STATS
 	MC_Stat *curr_stat;
 #endif
-	
+
 	MEMALLOC;
- private:
+private:
 	Constraint * getRetValueEncoding(EPRecord *record, uint64_t value);
 	Constraint * getMemValueEncoding(EPRecord *record, uint64_t value);
 	bool subsumesExecutionConstraint(EPRecord *recordsubsumes, EPRecord *record);
-	
+
 	void addBranchGoal(EPRecord *, Constraint *c);
 	void addGoal(EPRecord *, Constraint *c);
 	void translateGoals();
@@ -124,7 +124,7 @@ class ConstGen {
 #endif
 
 	/** These functions build closed groups of memory operations that
-			can store/load from each other. */
+	                can store/load from each other. */
 	void groupMemoryOperations(EPRecord *op);
 	void mergeSets(StoreLoadSet *to, StoreLoadSet *from);
 
@@ -136,10 +136,10 @@ class ConstGen {
 	void genTransOrderConstraint(EPRecord *t1rec, EPRecord *t2rec, EPRecord *t3rec);
 
 	/** The hashtable maps an address to the closure set of
-			memory operations that may touch that address. */
+	                memory operations that may touch that address. */
 	StoreLoadSetHashTable *storeloadtable;
 	/** This hashtable maps a load to all of the stores it may read
-			from. */
+	                from. */
 	LoadHashTable *loadtable;
 
 	MCExecution *execution;
@@ -167,11 +167,11 @@ class ConstGen {
 };
 
 class RecPair {
- public:
- RecPair(EPRecord *r1, EPRecord *r2) :
-	epr1(r1),
-	epr2(r2),
-	constraint(NULL) {
+public:
+	RecPair(EPRecord *r1, EPRecord *r2) :
+		epr1(r1),
+		epr2(r2),
+		constraint(NULL) {
 	}
 	EPRecord *epr1;
 	EPRecord *epr2;