Lines Matching refs:TransVec
936 std::vector<PredTransition> TransVec; member in __anonc0deaf3f0211::PredTransitions
1090 SmallVectorImpl<unsigned> &ProcIndices = TransVec[TransIdx].ProcIndices; in getIntersectingVariants()
1107 if (mutuallyExclusive(PredDef, TransVec[TransIdx].PredTerm)) in getIntersectingVariants()
1117 Variant.TransVecIdx = TransVec.size(); in getIntersectingVariants()
1119 TransVec.push_back(TransVec[TransIdx]); in getIntersectingVariants()
1133 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()
1211 for (unsigned TransIdx = StartIdx, TransEnd = TransVec.size(); in substituteVariantOperand()
1216 TransVec[TransIdx].ReadSequences.back().push_back(*RWI); in substituteVariantOperand()
1218 TransVec[TransIdx].WriteSequences.back().push_back(*RWI); in substituteVariantOperand()
1245 unsigned StartIdx = TransVec.size(); in substituteVariants()
1246 TransVec.resize(TransVec.size() + 1); in substituteVariants()
1247 TransVec.back().PredTerm = Trans.PredTerm; in substituteVariants()
1248 TransVec.back().ProcIndices = Trans.ProcIndices; in substituteVariants()
1256 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1267 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1366 LastTransitions.swap(Transitions.TransVec); in inferFromRW()
1749 TI = TransVec.begin(), TE = TransVec.end(); TI != TE; ++TI) { in dump()