Lines Matching refs:TransVec
1355 std::vector<PredTransition> TransVec; member in __anon3a1684130b11::PredTransitions
1461 if (VarProcIdx == 0 || VarProcIdx == TransVec[TransIdx].ProcIndex) { in getIntersectingVariants()
1480 if (AliasProcIdx && AliasProcIdx != TransVec[TransIdx].ProcIndex) in getIntersectingVariants()
1505 getAllPredicates(Variants, TransVec[TransIdx].ProcIndex); in getIntersectingVariants()
1511 if (mutuallyExclusive(PredDef, AllPreds, TransVec[TransIdx].PredTerm)) in getIntersectingVariants()
1522 Variant.TransVecIdx = TransVec.size(); in getIntersectingVariants()
1524 TransVec.push_back(TransVec[TransIdx]); in getIntersectingVariants()
1537 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()
1607 for (unsigned TransIdx = StartIdx, TransEnd = TransVec.size(); in substituteVariantOperand()
1618 TransVec[TransIdx].ReadSequences.back().push_back(RWI); in substituteVariantOperand()
1620 TransVec[TransIdx].WriteSequences.back().push_back(RWI); in substituteVariantOperand()
1639 unsigned StartIdx = TransVec.size(); in substituteVariants()
1642 TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex); in substituteVariants()
1648 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1658 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1801 LastTransitions.swap(Transitions.TransVec); in inferFromRW()
2272 for (const auto &TI : TransVec) { in dump()