1335   std::vector<PredTransition> TransVec;  member in __anona30522b50b11::PredTransitions
1440     if (VarProcIdx == 0 || VarProcIdx == TransVec[TransIdx].ProcIndex) {  in getIntersectingVariants()
1459     if (AliasProcIdx && AliasProcIdx != TransVec[TransIdx].ProcIndex)  in getIntersectingVariants()
1484       getAllPredicates(Variants, TransVec[TransIdx].ProcIndex);  in getIntersectingVariants()
1490       if (mutuallyExclusive(PredDef, AllPreds, TransVec[TransIdx].PredTerm))  in getIntersectingVariants()
1500       Variant.TransVecIdx = TransVec.size();  in getIntersectingVariants()
1502       TransVec.push_back(TransVec[TransIdx]);  in getIntersectingVariants()
1515   PredTransition &Trans = TransVec[VInfo.TransVecIdx];  in pushVariant()
1583     for (unsigned TransIdx = StartIdx, TransEnd = TransVec.size();  in substituteVariantOperand()
1594           TransVec[TransIdx].ReadSequences.back().push_back(RWI);  in substituteVariantOperand()
1596           TransVec[TransIdx].WriteSequences.back().push_back(RWI);  in substituteVariantOperand()
1615   unsigned StartIdx = TransVec.size();  in substituteVariants()
1618   TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex);  in substituteVariants()
1623     for (std::vector<PredTransition>::iterator I = TransVec.begin() + StartIdx,  in substituteVariants()
1624                                                E = TransVec.end();  in substituteVariants()
1634     for (std::vector<PredTransition>::iterator I = TransVec.begin() + StartIdx,  in substituteVariants()
1635                                                E = TransVec.end();  in substituteVariants()
1779     LastTransitions = std::move(Transitions.TransVec);  in inferFromRW()
2272   for (const auto &TI : TransVec) {  in dump()