Searched refs:TransVec (Results 1 – 1 of 1) sorted by relevance
1330 std::vector<PredTransition> TransVec; member in __anonfd00d8910a11::PredTransitions1480 getAllPredicates(Variants, TransVec[TransIdx].ProcIndex); 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()1614 unsigned StartIdx = TransVec.size(); in substituteVariants()1617 TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex); in substituteVariants()1623 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()1633 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()1776 LastTransitions.swap(Transitions.TransVec); in inferFromRW()[all …]