Searched refs:TransVec (Results 1 – 1 of 1) sorted by relevance
1336 std::vector<PredTransition> TransVec; member in __anon692d65b40b11::PredTransitions1442 if (VarProcIdx == 0 || VarProcIdx == TransVec[TransIdx].ProcIndex) { in getIntersectingVariants()1461 if (AliasProcIdx && AliasProcIdx != TransVec[TransIdx].ProcIndex) in getIntersectingVariants()1486 getAllPredicates(Variants, TransVec[TransIdx].ProcIndex); in getIntersectingVariants()1492 if (mutuallyExclusive(PredDef, AllPreds, TransVec[TransIdx].PredTerm)) in getIntersectingVariants()1503 Variant.TransVecIdx = TransVec.size(); in getIntersectingVariants()1505 TransVec.push_back(TransVec[TransIdx]); in getIntersectingVariants()1518 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()1588 for (unsigned TransIdx = StartIdx, TransEnd = TransVec.size(); in substituteVariantOperand()1599 TransVec[TransIdx].ReadSequences.back().push_back(RWI); in substituteVariantOperand()[all …]