Searched refs:TransVec (Results 1 – 1 of 1) sorted by relevance
1335 std::vector<PredTransition> TransVec; member in __anona30522b50b11::PredTransitions1440 if (VarProcIdx == 0 || VarProcIdx == TransVec[TransIdx].ProcIndex) { in getIntersectingVariants()1459 if (AliasProcIdx && AliasProcIdx != TransVec[TransIdx].ProcIndex) in getIntersectingVariants()1484 getAllPredicates(Variants, TransVec[TransIdx].ProcIndex); in getIntersectingVariants()1490 if (mutuallyExclusive(PredDef, AllPreds, TransVec[TransIdx].PredTerm)) in getIntersectingVariants()1500 Variant.TransVecIdx = TransVec.size(); in getIntersectingVariants()1502 TransVec.push_back(TransVec[TransIdx]); in getIntersectingVariants()1515 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()1583 for (unsigned TransIdx = StartIdx, TransEnd = TransVec.size(); in substituteVariantOperand()1594 TransVec[TransIdx].ReadSequences.back().push_back(RWI); in substituteVariantOperand()[all …]