X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satcheck.git;a=blobdiff_plain;f=constgen.h;fp=constgen.h;h=20420bc1bc601242f67b525503bf3457e963f61a;hp=8669a7f98bcc3aaa13e40c7c792d7c2c965e04d3;hb=bd644b5504a9bfc394bf245dc7a8579ebed9254a;hpb=9031836d066385fcd527a2e6dc7e065473096f10

diff --git a/constgen.h b/constgen.h
index 8669a7f..20420bc 100644
--- a/constgen.h
+++ b/constgen.h
@@ -115,7 +115,8 @@ private:
 	void processLoad(EPRecord *record);
 	void processAddresses(EPRecord *record);
 	void recordExecCond(EPRecord *record);
-
+	void computeYieldCond(EPRecord *record);
+	
 	/** TSO Specific methods */
 #ifdef TSO
 	void genTSOTransOrderConstraints();
@@ -148,6 +149,7 @@ private:
 	RecPairTable *rpt;
 	uint numconstraints;
 	ModelVector<Constraint *> * goalset;
+	ModelVector<EPRecord *> *yieldlist;
 	Constraint ** goalvararray;
 	ModelVector<Constraint *> * vars;
 	BranchTable * branchtable;
@@ -155,9 +157,11 @@ private:
 	EqualsTable *equalstable;
 	ScheduleBuilder *schedulebuilder;
 	RecordSet *nonlocaltrans;
+	RecordSet *incompleteexploredbranch;
 	LoadHashTable *execcondtable;
 	IncrementalSolver *solver;
 	RecToIntTable *rectoint;
+	RecToConsTable *yieldtable;
 #ifdef STATS
 	ModelVector<struct MC_Stat *> * stats;
 #endif