Lines Matching refs:TransVec
1330 std::vector<PredTransition> TransVec; member in __anonfd00d8910a11::PredTransitions
1436 if (VarProcIdx == 0 || VarProcIdx == TransVec[TransIdx].ProcIndex) { in getIntersectingVariants()
1455 if (AliasProcIdx && AliasProcIdx != TransVec[TransIdx].ProcIndex) in getIntersectingVariants()
1480 getAllPredicates(Variants, TransVec[TransIdx].ProcIndex); in getIntersectingVariants()
1486 if (mutuallyExclusive(PredDef, AllPreds, TransVec[TransIdx].PredTerm)) in getIntersectingVariants()
1497 Variant.TransVecIdx = TransVec.size(); in getIntersectingVariants()
1499 TransVec.push_back(TransVec[TransIdx]); in getIntersectingVariants()
1512 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()
1582 for (unsigned TransIdx = StartIdx, TransEnd = TransVec.size(); in substituteVariantOperand()
1593 TransVec[TransIdx].ReadSequences.back().push_back(RWI); in substituteVariantOperand()
1595 TransVec[TransIdx].WriteSequences.back().push_back(RWI); in substituteVariantOperand()
1614 unsigned StartIdx = TransVec.size(); in substituteVariants()
1617 TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex); in substituteVariants()
1623 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1633 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1776 LastTransitions.swap(Transitions.TransVec); in inferFromRW()
2249 for (const auto &TI : TransVec) { in dump()