X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=scanalysis.cc;h=2bc275d7cada1f25fe4d3af3d1076f1c79325a4a;hb=b4162a5ce2af6affc0ea425aa31cebbc5f5257e9;hp=b1b6a0574ca870b203dfd04027b92fa231ac7e0c;hpb=d21164220a0d87ae931bf50d0e97ebf838742659;p=model-checker.git

diff --git a/scanalysis.cc b/scanalysis.cc
index b1b6a05..2bc275d 100644
--- a/scanalysis.cc
+++ b/scanalysis.cc
@@ -93,7 +93,7 @@ ModelAction * SCAnalysis::getNextAction() {
 	return act;
 }
 
-action_list_t * SCAnalysis::generateSC(action_list_t *list) {	
+action_list_t * SCAnalysis::generateSC(action_list_t *list) {
 	action_list_t *sclist=new action_list_t();
 	while (true) {
 		ModelAction * act=getNextAction();
@@ -148,7 +148,7 @@ bool SCAnalysis::updateConstraints(ModelAction *act) {
 				changed=true;
 				break;
 			}
-		}		
+		}
 	}
 	return changed;
 }
@@ -178,14 +178,14 @@ bool SCAnalysis::processRead(ModelAction *read, ClockVector *cv) {
 			ClockVector *write2cv = cvmap->get(write2);
 			if (write2cv == NULL)
 				continue;
-			
+
 			/* write -sc-> write2 &&
 				 write -rf-> R =>
 				 R -sc-> write2 */
 			if (write2cv->synchronized_since(write)) {
 				changed |= merge(write2cv, write2, cv);
 			}
-		
+
 			//looking for earliest write2 in iteration to satisfy this
 			/* write2 -sc-> R &&
 				 write -rf-> R =>