Searched refs:LastTransition (Results 1 – 1 of 1) sorted by relevance
1698 for (const auto &LastTransition : LastTransitions) { in inferFromTransitions() local1701 if (LastTransition.PredTerm.empty()) in inferFromTransitions()1704 addSequences(SchedModels, LastTransition.WriteSequences, OperWritesVariant, in inferFromTransitions()1706 addSequences(SchedModels, LastTransition.ReadSequences, OperReadsVariant, in inferFromTransitions()1713 if (FromSC.InstRWProcIndices.count(LastTransition.ProcIndex)) in inferFromTransitions()1715 SCTrans.ProcIndex = LastTransition.ProcIndex; in inferFromTransitions()1718 OperReadsVariant, LastTransition.ProcIndex); in inferFromTransitions()1722 transform(LastTransition.PredTerm, std::back_inserter(Preds), in inferFromTransitions()