void processLoad(EPRecord *record);
void processAddresses(EPRecord *record);
void recordExecCond(EPRecord *record);
-
+ void computeYieldCond(EPRecord *record);
+
/** TSO Specific methods */
#ifdef TSO
void genTSOTransOrderConstraints();
RecPairTable *rpt;
uint numconstraints;
ModelVector<Constraint *> * goalset;
+ ModelVector<EPRecord *> *yieldlist;
Constraint ** goalvararray;
ModelVector<Constraint *> * vars;
BranchTable * branchtable;
EqualsTable *equalstable;
ScheduleBuilder *schedulebuilder;
RecordSet *nonlocaltrans;
+ RecordSet *incompleteexploredbranch;
LoadHashTable *execcondtable;
IncrementalSolver *solver;
RecToIntTable *rectoint;
+ RecToConsTable *yieldtable;
#ifdef STATS
ModelVector<struct MC_Stat *> * stats;
#endif