Lines Matching refs:Trans
1339 bool substituteVariants(const PredTransition &Trans);
1514 PredTransition &Trans = TransVec[VInfo.TransVecIdx]; in pushVariant() local
1521 Trans.PredTerm.emplace_back(IsRead, VInfo.RWIdx,PredDef); in pushVariant()
1534 ? Trans.ReadSequences : Trans.WriteSequences; in pushVariant()
1616 bool PredTransitions::substituteVariants(const PredTransition &Trans) { in substituteVariants() argument
1621 assert(Trans.ProcIndex != 0); in substituteVariants()
1622 TransVec.emplace_back(Trans.PredTerm, Trans.ProcIndex); in substituteVariants()
1626 WSI = Trans.WriteSequences.begin(), WSE = Trans.WriteSequences.end(); in substituteVariants()
1637 RSI = Trans.ReadSequences.begin(), RSE = Trans.ReadSequences.end(); in substituteVariants()
1725 makePerProcessorTransitions(const PredTransition &Trans, in makePerProcessorTransitions() argument
1730 PerCpuTransVec.push_back(Trans); in makePerProcessorTransitions()
1779 for (const PredTransition &Trans : LastTransitions) in inferFromRW() local
1780 SubstitutedAny |= Transitions.substituteVariants(Trans); in inferFromRW()