Lines Matching defs:Trans
1336 void substituteVariants(const PredTransition &Trans);
1508 PredTransition &Trans = TransVec[VInfo.TransVecIdx];
1513 Trans.ProcIndices.assign(1, VInfo.ProcIdx);
1518 Trans.PredTerm.emplace_back(IsRead, VInfo.RWIdx,PredDef);
1531 ? Trans.ReadSequences : Trans.WriteSequences;
1608 // For each variant of a Read/Write in Trans, substitute the sequence of
1614 void PredTransitions::substituteVariants(const PredTransition &Trans) {
1619 TransVec.back().PredTerm = Trans.PredTerm;
1620 TransVec.back().ProcIndices = Trans.ProcIndices;
1624 WSI = Trans.WriteSequences.begin(), WSE = Trans.WriteSequences.end();
1635 RSI = Trans.ReadSequences.begin(), RSE = Trans.ReadSequences.end();
1722 for (const PredTransition &Trans : LastTransitions)
1723 Transitions.substituteVariants(Trans);