1362   bool substituteVariants(const PredTransition &Trans);
1537   PredTransition &Trans = TransVec[VInfo.TransVecIdx];  in pushVariant()  local
1544     Trans.PredTerm.emplace_back(IsRead, VInfo.RWIdx,PredDef);  in pushVariant()
1557     ? Trans.ReadSequences : Trans.WriteSequences;  in pushVariant()
1636 bool PredTransitions::substituteVariants(const PredTransition &Trans) {  in substituteVariants()  argument
1641   assert(Trans.ProcIndex != 0);  in substituteVariants()
1642   TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex);  in substituteVariants()
1645   for (const auto &WriteSequence : Trans.WriteSequences) {  in substituteVariants()
1655   for (const auto &ReadSequence : Trans.ReadSequences) {  in substituteVariants()
1744 makePerProcessorTransitions(const PredTransition &Trans,  in makePerProcessorTransitions()  argument
1749     PerCpuTransVec.push_back(Trans);  in makePerProcessorTransitions()
1798     for (const PredTransition &Trans : LastTransitions)  in inferFromRW()  local
1799       SubstitutedAny |= Transitions.substituteVariants(Trans);  in inferFromRW()