Lines Matching refs:TransVec
1324 std::vector<PredTransition> TransVec; member in __anonab391a420911::PredTransitions
1461 SmallVectorImpl<unsigned> &ProcIndices = TransVec[TransIdx].ProcIndices; in getIntersectingVariants()
1478 if (mutuallyExclusive(PredDef, TransVec[TransIdx].PredTerm)) in getIntersectingVariants()
1488 Variant.TransVecIdx = TransVec.size(); in getIntersectingVariants()
1490 TransVec.push_back(TransVec[TransIdx]); in getIntersectingVariants()
1503 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()
1578 for (unsigned TransIdx = StartIdx, TransEnd = TransVec.size(); in substituteVariantOperand()
1583 TransVec[TransIdx].ReadSequences.back().push_back(*RWI); in substituteVariantOperand()
1585 TransVec[TransIdx].WriteSequences.back().push_back(*RWI); in substituteVariantOperand()
1612 unsigned StartIdx = TransVec.size(); in substituteVariants()
1613 TransVec.emplace_back(); in substituteVariants()
1614 TransVec.back().PredTerm = Trans.PredTerm; in substituteVariants()
1615 TransVec.back().ProcIndices = Trans.ProcIndices; in substituteVariants()
1623 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1634 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1720 LastTransitions.swap(Transitions.TransVec); in inferFromRW()
2200 TI = TransVec.begin(), TE = TransVec.end(); TI != TE; ++TI) { in dump()