Searched refs:LastTransition (Results 1 – 1 of 1) sorted by relevance
1681 for (const auto &LastTransition : LastTransitions) { in inferFromTransitions() local1684 if (LastTransition.PredTerm.empty()) in inferFromTransitions()1687 addSequences(SchedModels, LastTransition.WriteSequences, OperWritesVariant, in inferFromTransitions()1689 addSequences(SchedModels, LastTransition.ReadSequences, OperReadsVariant, in inferFromTransitions()1696 if (FromSC.InstRWProcIndices.count(LastTransition.ProcIndex)) in inferFromTransitions()1698 SCTrans.ProcIndex = LastTransition.ProcIndex; in inferFromTransitions()1701 OperReadsVariant, LastTransition.ProcIndex); in inferFromTransitions()1705 transform(LastTransition.PredTerm, std::back_inserter(Preds), in inferFromTransitions()