Lines Matching refs:Trans
1331 void substituteVariants(const PredTransition &Trans);
1503 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant() local
1508 Trans.ProcIndices.assign(1, VInfo.ProcIdx); in pushVariant()
1513 Trans.PredTerm.emplace_back(IsRead, VInfo.RWIdx,PredDef); in pushVariant()
1526 ? Trans.ReadSequences : Trans.WriteSequences; in pushVariant()
1609 void PredTransitions::substituteVariants(const PredTransition &Trans) { in substituteVariants() argument
1614 TransVec.back().PredTerm = Trans.PredTerm; in substituteVariants()
1615 TransVec.back().ProcIndices = Trans.ProcIndices; in substituteVariants()
1619 WSI = Trans.WriteSequences.begin(), WSE = Trans.WriteSequences.end(); in substituteVariants()
1630 RSI = Trans.ReadSequences.begin(), RSE = Trans.ReadSequences.end(); in substituteVariants()
1717 for (const PredTransition &Trans : LastTransitions) in inferFromRW() local
1718 Transitions.substituteVariants(Trans); in inferFromRW()