X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=scanalysis.h;h=79f78f1c00d630b6a1557015d2c5e4683f231879;hb=38cb7400c16ad0a04355ec77af2bf5da2dbfaad5;hp=a6420955be068d8077e03c8900c0663a5218a0e9;hpb=9508fe09d2eeaaf7fbe7193d9cb81b3bc66316b5;p=model-checker.git

diff --git a/scanalysis.h b/scanalysis.h
index a642095..79f78f1 100644
--- a/scanalysis.h
+++ b/scanalysis.h
@@ -11,10 +11,15 @@ class SCAnalysis : public Trace_Analysis {
 
 	SNAPSHOTALLOC
  private:
+	void print_list(action_list_t *list);
 	void buildVectors(action_list_t *);
+	bool updateConstraints(ModelAction *act);
 	void computeCV(action_list_t *);
+	action_list_t * generateSC(action_list_t *);
 	bool processRead(ModelAction *read, ClockVector *cv);
+	ModelAction * getNextAction();
 	int maxthreads;
 	HashTable<const ModelAction *,ClockVector *, uintptr_t, 4 > * cvmap;
+	SnapVector<action_list_t> * threadlists;
 };
 #endif