Lines Matching refs:TransVec
1338 std::vector<PredTransition> TransVec; member in __anon4f9dd10d0b11::PredTransitions
1444 if (VarProcIdx == 0 || VarProcIdx == TransVec[TransIdx].ProcIndex) { in getIntersectingVariants()
1463 if (AliasProcIdx && AliasProcIdx != TransVec[TransIdx].ProcIndex) in getIntersectingVariants()
1488 getAllPredicates(Variants, TransVec[TransIdx].ProcIndex); in getIntersectingVariants()
1494 if (mutuallyExclusive(PredDef, AllPreds, TransVec[TransIdx].PredTerm)) in getIntersectingVariants()
1505 Variant.TransVecIdx = TransVec.size(); in getIntersectingVariants()
1507 TransVec.push_back(TransVec[TransIdx]); in getIntersectingVariants()
1520 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()
1590 for (unsigned TransIdx = StartIdx, TransEnd = TransVec.size(); in substituteVariantOperand()
1601 TransVec[TransIdx].ReadSequences.back().push_back(RWI); in substituteVariantOperand()
1603 TransVec[TransIdx].WriteSequences.back().push_back(RWI); in substituteVariantOperand()
1622 unsigned StartIdx = TransVec.size(); in substituteVariants()
1625 TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex); in substituteVariants()
1631 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1641 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1784 LastTransitions.swap(Transitions.TransVec); in inferFromRW()
2255 for (const auto &TI : TransVec) { in dump()