Searched refs:LastTransition (Results 1 – 1 of 1) sorted by relevance
1623 for (const auto &LastTransition : LastTransitions) { in inferFromTransitions() local1626 if (LastTransition.PredTerm.empty()) in inferFromTransitions()1629 addSequences(SchedModels, LastTransition.WriteSequences, OperWritesVariant, in inferFromTransitions()1631 addSequences(SchedModels, LastTransition.ReadSequences, OperReadsVariant, in inferFromTransitions()1638 if (FromSC.InstRWProcIndices.contains(LastTransition.ProcIndex)) in inferFromTransitions()1640 SCTrans.ProcIndex = LastTransition.ProcIndex; in inferFromTransitions()1643 OperReadsVariant, LastTransition.ProcIndex); in inferFromTransitions()1647 transform(LastTransition.PredTerm, std::back_inserter(Preds), in inferFromTransitions()