1345   bool substituteVariants(const PredTransition &Trans);
1520   PredTransition &Trans = TransVec[VInfo.TransVecIdx];  in pushVariant()  local
1527     Trans.PredTerm.emplace_back(IsRead, VInfo.RWIdx,PredDef);  in pushVariant()
1540     ? Trans.ReadSequences : Trans.WriteSequences;  in pushVariant()
1619 bool PredTransitions::substituteVariants(const PredTransition &Trans) {  in substituteVariants()  argument
1624   assert(Trans.ProcIndex != 0);  in substituteVariants()
1625   TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex);  in substituteVariants()
1628   for (const auto &WriteSequence : Trans.WriteSequences) {  in substituteVariants()
1638   for (const auto &ReadSequence : Trans.ReadSequences) {  in substituteVariants()
1727 makePerProcessorTransitions(const PredTransition &Trans,  in makePerProcessorTransitions()  argument
1732     PerCpuTransVec.push_back(Trans);  in makePerProcessorTransitions()
1781     for (const PredTransition &Trans : LastTransitions)  in inferFromRW()  local
1782       SubstitutedAny |= Transitions.substituteVariants(Trans);  in inferFromRW()