1342   bool substituteVariants(const PredTransition &Trans);
1515   PredTransition &Trans = TransVec[VInfo.TransVecIdx];  in pushVariant()  local
1522     Trans.PredTerm.emplace_back(IsRead, VInfo.RWIdx, PredDef);  in pushVariant()
1534       IsRead ? Trans.ReadSequences : Trans.WriteSequences;  in pushVariant()
1612 bool PredTransitions::substituteVariants(const PredTransition &Trans) {  in substituteVariants()  argument
1617   assert(Trans.ProcIndex != 0);  in substituteVariants()
1618   TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex);  in substituteVariants()
1621   for (const auto &WriteSequence : Trans.WriteSequences) {  in substituteVariants()
1632   for (const auto &ReadSequence : Trans.ReadSequences) {  in substituteVariants()
1722 makePerProcessorTransitions(const PredTransition &Trans,  in makePerProcessorTransitions()  argument
1727     PerCpuTransVec.push_back(Trans);  in makePerProcessorTransitions()
1776     for (const PredTransition &Trans : LastTransitions)  in inferFromRW()  local
1777       SubstitutedAny |= Transitions.substituteVariants(Trans);  in inferFromRW()