Lines Matching refs:TransVec
944 std::vector<PredTransition> TransVec; member in __anonc0deaf3f0211::PredTransitions
1098 SmallVectorImpl<unsigned> &ProcIndices = TransVec[TransIdx].ProcIndices; in getIntersectingVariants()
1115 if (mutuallyExclusive(PredDef, TransVec[TransIdx].PredTerm)) in getIntersectingVariants()
1125 Variant.TransVecIdx = TransVec.size(); in getIntersectingVariants()
1127 TransVec.push_back(TransVec[TransIdx]); in getIntersectingVariants()
1141 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()
1219 for (unsigned TransIdx = StartIdx, TransEnd = TransVec.size(); in substituteVariantOperand()
1224 TransVec[TransIdx].ReadSequences.back().push_back(*RWI); in substituteVariantOperand()
1226 TransVec[TransIdx].WriteSequences.back().push_back(*RWI); in substituteVariantOperand()
1253 unsigned StartIdx = TransVec.size(); in substituteVariants()
1254 TransVec.resize(TransVec.size() + 1); in substituteVariants()
1255 TransVec.back().PredTerm = Trans.PredTerm; in substituteVariants()
1256 TransVec.back().ProcIndices = Trans.ProcIndices; in substituteVariants()
1264 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1275 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()
1374 LastTransitions.swap(Transitions.TransVec); in inferFromRW()
1761 TI = TransVec.begin(), TE = TransVec.end(); TI != TE; ++TI) { in dump()