Searched refs:TransVec (Results 1 – 1 of 1) sorted by relevance
1338 std::vector<PredTransition> TransVec; member in __anon4f9dd10d0b11::PredTransitions1488 getAllPredicates(Variants, TransVec[TransIdx].ProcIndex); in getIntersectingVariants()1505 Variant.TransVecIdx = TransVec.size(); in getIntersectingVariants()1507 TransVec.push_back(TransVec[TransIdx]); in getIntersectingVariants()1520 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant()1622 unsigned StartIdx = TransVec.size(); in substituteVariants()1625 TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex); in substituteVariants()1631 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()1641 TransVec.begin() + StartIdx, E = TransVec.end(); I != E; ++I) { in substituteVariants()1784 LastTransitions.swap(Transitions.TransVec); in inferFromRW()[all …]