Lines Matching full:sequences
108 // SchedReadWrites that represent sequences derived from expanded variant will
845 /// SchedWrites from sequences of existing SchedWrites.
936 // A Predicate transition is a list of RW sequences guarded by a PredTerm.
1053 // Populate IntersectingVariants with any variants or aliased sequences of the
1182 // Note that write sequences should be expanded within this loop--the entire
1341 // Create a seed transition with an empty PredTerm and the expanded sequences
