Lines Matching refs:TransVec
952 std::vector<PredTransition> TransVec; member in __anon5bc81c880211::PredTransitions
1106 SmallVectorImpl<unsigned> &ProcIndices = TransVec[TransIdx].ProcIndices; in getIntersectingVariants()
1123 if (mutuallyExclusive(PredDef, TransVec[TransIdx].PredTerm)) in getIntersectingVariants()
1133 Variant.TransVecIdx = TransVec.size(); in getIntersectingVariants()
1135 TransVec.push_back(TransVec[TransIdx]); in getIntersectingVariants()
1149 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()
1227 for (unsigned TransIdx = StartIdx, TransEnd = TransVec.size(); in substituteVariantOperand()
1232 TransVec[TransIdx].ReadSequences.back().push_back(*RWI); in substituteVariantOperand()
1234 TransVec[TransIdx].WriteSequences.back().push_back(*RWI); in substituteVariantOperand()
1261 unsigned StartIdx = TransVec.size(); in substituteVariants()
1262 TransVec.resize(TransVec.size() + 1); in substituteVariants()
1263 TransVec.back().PredTerm = Trans.PredTerm; in substituteVariants()
1264 TransVec.back().ProcIndices = Trans.ProcIndices; in substituteVariants()
1272 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1283 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1382 LastTransitions.swap(Transitions.TransVec); in inferFromRW()
1834 TI = TransVec.begin(), TE = TransVec.end(); TI != TE; ++TI) { in dump()