Lines Matching defs:PredTerm
1314 // A Predicate transition is a list of RW sequences guarded by a PredTerm.
1317 SmallVector<PredCheck, 4> PredTerm;
1352 // Return true if this predicate is mutually exclusive with a PredTerm. This
1483 if (mutuallyExclusive(PredDef, TransVec[TransIdx].PredTerm))
1518 Trans.PredTerm.emplace_back(IsRead, VInfo.RWIdx,PredDef);
1619 TransVec.back().PredTerm = Trans.PredTerm;
1669 // The final PredTerm is unique set of predicates guarding the transition.
1671 transform(I->PredTerm, std::back_inserter(Preds),
1676 SCTrans.PredTerm = std::move(Preds);
1692 // Create a seed transition with an empty PredTerm and the expanded sequences
1728 if (LastTransitions[0].PredTerm.empty())
2211 PCI = TI->PredTerm.begin(), PCE = TI->PredTerm.end();
2213 if (PCI != TI->PredTerm.begin())