Lines Matching defs:PredTerm
1270 // A Predicate transition is a list of RW sequences guarded by a PredTerm.
1273 SmallVector<PredCheck, 4> PredTerm;
1280 PredTerm.assign(PT.begin(), PT.end());
1314 // Return true if this predicate is mutually exclusive with a PredTerm. This
1444 if (mutuallyExclusive(PredDef, AllPreds, TransVec[TransIdx].PredTerm))
1476 Trans.PredTerm.emplace_back(IsRead, VInfo.RWIdx, PredDef);
1573 TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex);
1628 if (LastTransition.PredTerm.empty())
1647 // The final PredTerm is unique set of predicates guarding the transition.
1649 transform(LastTransition.PredTerm, std::back_inserter(Preds),
1653 SCTrans.PredTerm = std::move(Preds);
1691 // Create a seed transition with an empty PredTerm and the expanded sequences
2230 for (const PredCheck &PC : TI.PredTerm)