Searched refs:TransVec (Results 1 – 1 of 1) sorted by relevance
1355 std::vector<PredTransition> TransVec; member in __anon3a1684130b11::PredTransitions1505 getAllPredicates(Variants, TransVec[TransIdx].ProcIndex); in getIntersectingVariants()1522 Variant.TransVecIdx = TransVec.size(); in getIntersectingVariants()1524 TransVec.push_back(TransVec[TransIdx]); in getIntersectingVariants()1537 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()1639 unsigned StartIdx = TransVec.size(); in substituteVariants()1642 TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex); in substituteVariants()1648 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()1658 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()1801 LastTransitions.swap(Transitions.TransVec); in inferFromRW()[all …]