Lines Matching defs:Trans
1298 bool substituteVariants(const PredTransition &Trans);
1469 PredTransition &Trans = TransVec[VInfo.TransVecIdx];
1476 Trans.PredTerm.emplace_back(IsRead, VInfo.RWIdx, PredDef);
1489 IsRead ? Trans.ReadSequences : Trans.WriteSequences;
1561 // For each variant of a Read/Write in Trans, substitute the sequence of
1567 bool PredTransitions::substituteVariants(const PredTransition &Trans) {
1572 assert(Trans.ProcIndex != 0);
1573 TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex);
1576 for (const auto &WriteSequence : Trans.WriteSequences) {
1584 for (const auto &ReadSequence : Trans.ReadSequences) {
1671 makePerProcessorTransitions(const PredTransition &Trans,
1676 PerCpuTransVec.push_back(Trans);
1724 for (const PredTransition &Trans : LastTransitions)
1725 SubstitutedAny |= Transitions.substituteVariants(Trans);