Lines Matching defs:PredTerm
1312 // A Predicate transition is a list of RW sequences guarded by a PredTerm.
1315 SmallVector<PredCheck, 4> PredTerm;
1350 // Return true if this predicate is mutually exclusive with a PredTerm. This
1481 if (mutuallyExclusive(PredDef, TransVec[TransIdx].PredTerm))
1516 Trans.PredTerm.emplace_back(IsRead, VInfo.RWIdx,PredDef);
1617 TransVec.back().PredTerm = Trans.PredTerm;
1667 // The final PredTerm is unique set of predicates guarding the transition.
1669 transform(I->PredTerm, std::back_inserter(Preds),
1674 SCTrans.PredTerm = std::move(Preds);
1690 // Create a seed transition with an empty PredTerm and the expanded sequences
1726 if (LastTransitions[0].PredTerm.empty())
2209 PCI = TI->PredTerm.begin(), PCE = TI->PredTerm.end();
2211 if (PCI != TI->PredTerm.begin())