Searched refs:TransVec (Results 1 – 1 of 1) sorted by relevance
1289 std::vector<PredTransition> TransVec; member in __anona30522b50a11::PredTransitions1394 if (VarProcIdx == 0 || VarProcIdx == TransVec[TransIdx].ProcIndex) { in getIntersectingVariants()1413 if (AliasProcIdx && AliasProcIdx != TransVec[TransIdx].ProcIndex) in getIntersectingVariants()1436 getAllPredicates(Variants, TransVec[TransIdx].ProcIndex); in getIntersectingVariants()1442 if (mutuallyExclusive(PredDef, AllPreds, TransVec[TransIdx].PredTerm)) in getIntersectingVariants()1452 Variant.TransVecIdx = TransVec.size(); in getIntersectingVariants()1454 TransVec.push_back(TransVec[TransIdx]); in getIntersectingVariants()1467 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()1536 for (unsigned TransIdx = StartIdx, TransEnd = TransVec.size(); in substituteVariantOperand()1547 TransVec[TransIdx].ReadSequences.back().push_back(RWI); in substituteVariantOperand()[all …]