Searched refs:LastTransition (Results 1 – 1 of 1) sorted by relevance
1673 for (const auto &LastTransition : LastTransitions) { in inferFromTransitions() local1676 if (LastTransition.PredTerm.empty()) in inferFromTransitions()1679 addSequences(SchedModels, LastTransition.WriteSequences, OperWritesVariant, in inferFromTransitions()1681 addSequences(SchedModels, LastTransition.ReadSequences, OperReadsVariant, in inferFromTransitions()1688 if (FromSC.InstRWProcIndices.count(LastTransition.ProcIndex)) in inferFromTransitions()1690 SCTrans.ProcIndex = LastTransition.ProcIndex; in inferFromTransitions()1693 OperReadsVariant, LastTransition.ProcIndex); in inferFromTransitions()1697 transform(LastTransition.PredTerm, std::back_inserter(Preds), in inferFromTransitions()