Lines Matching refs:PredTerm
921 // A Predicate transition is a list of RW sequences guarded by a PredTerm.
924 SmallVector<PredCheck, 4> PredTerm;
958 // Return true if this predicate is mutually exclusive with a PredTerm. This
1107 if (mutuallyExclusive(PredDef, TransVec[TransIdx].PredTerm))
1143 Trans.PredTerm.push_back(PredCheck(IsRead, VInfo.RWIdx,PredDef));
1247 TransVec.back().PredTerm = Trans.PredTerm;
1304 // The final PredTerm is unique set of predicates guarding the transition.
1307 PI = I->PredTerm.begin(), PE = I->PredTerm.end(); PI != PE; ++PI) {
1312 SCTrans.PredTerm = Preds;
1326 // Create a seed transition with an empty PredTerm and the expanded sequences
1369 if (LastTransitions[0].PredTerm.empty())
1752 PCI = TI->PredTerm.begin(), PCE = TI->PredTerm.end();
1754 if (PCI != TI->PredTerm.begin())
