1337   bool substituteVariants(const PredTransition &Trans);
1512   PredTransition &Trans = TransVec[VInfo.TransVecIdx];  in pushVariant()  local
1519     Trans.PredTerm.emplace_back(IsRead, VInfo.RWIdx,PredDef);  in pushVariant()
1532     ? Trans.ReadSequences : Trans.WriteSequences;  in pushVariant()
1611 bool PredTransitions::substituteVariants(const PredTransition &Trans) {  in substituteVariants()  argument
1616   assert(Trans.ProcIndex != 0);  in substituteVariants()
1617   TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex);  in substituteVariants()
1620   for (const auto &WriteSequence : Trans.WriteSequences) {  in substituteVariants()
1630   for (const auto &ReadSequence : Trans.ReadSequences) {  in substituteVariants()
1719 makePerProcessorTransitions(const PredTransition &Trans,  in makePerProcessorTransitions()  argument
1724     PerCpuTransVec.push_back(Trans);  in makePerProcessorTransitions()
1773     for (const PredTransition &Trans : LastTransitions)  in inferFromRW()  local
1774       SubstitutedAny |= Transitions.substituteVariants(Trans);  in inferFromRW()