Searched refs:LastTransition (Results 1 – 1 of 1) sorted by relevance
1676 for (const auto &LastTransition : LastTransitions) { in inferFromTransitions() local1679 if (LastTransition.PredTerm.empty()) in inferFromTransitions()1682 addSequences(SchedModels, LastTransition.WriteSequences, OperWritesVariant, in inferFromTransitions()1684 addSequences(SchedModels, LastTransition.ReadSequences, OperReadsVariant, in inferFromTransitions()1691 if (FromSC.InstRWProcIndices.count(LastTransition.ProcIndex)) in inferFromTransitions()1693 SCTrans.ProcIndex = LastTransition.ProcIndex; in inferFromTransitions()1696 OperReadsVariant, LastTransition.ProcIndex); in inferFromTransitions()1700 transform(LastTransition.PredTerm, std::back_inserter(Preds), in inferFromTransitions()