Searched refs:TransVec (Results 1 – 1 of 1) sorted by relevance
1330 std::vector<PredTransition> TransVec; member in __anon09e3efe80a11::PredTransitions1436 if (VarProcIdx == 0 || VarProcIdx == TransVec[TransIdx].ProcIndex) { in getIntersectingVariants()1455 if (AliasProcIdx && AliasProcIdx != TransVec[TransIdx].ProcIndex) in getIntersectingVariants()1480 getAllPredicates(Variants, TransVec[TransIdx].ProcIndex); in getIntersectingVariants()1486 if (mutuallyExclusive(PredDef, AllPreds, TransVec[TransIdx].PredTerm)) in getIntersectingVariants()1497 Variant.TransVecIdx = TransVec.size(); in getIntersectingVariants()1499 TransVec.push_back(TransVec[TransIdx]); in getIntersectingVariants()1512 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()1582 for (unsigned TransIdx = StartIdx, TransEnd = TransVec.size(); in substituteVariantOperand()1593 TransVec[TransIdx].ReadSequences.back().push_back(RWI); in substituteVariantOperand()[all …]