Lines Matching refs:Prefix
390 /// Returns true if Prefix is a prefix of longer. That means, Longer has a size
391 /// that is greater than or equal to the size of prefix, and each of the
392 /// elements in Prefix is the same as the corresponding elements in Longer.
394 /// This means it also returns true when Prefix and Longer are equal!
395 static bool IsPrefix(const IndicesVector &Prefix, const IndicesVector &Longer) {
396 if (Prefix.size() > Longer.size())
398 return std::equal(Prefix.begin(), Prefix.end(), Longer.begin());
402 /// Checks if Indices, or a prefix of Indices, is in Set.
410 // it points to a prefix of Indices (possibly Indices itself), if such
411 // prefix exists.
413 // This load is safe if any prefix of its operands is safe to load.
419 /// is already a prefix of Indices in Safe, Indices are implicitely marked safe
420 /// already. Furthermore, any indices that Indices is itself a prefix of, are
430 // means it points to a prefix of Indices (possibly Indices itself), if
431 // such prefix exists.
434 // If there is already a prefix of these indices (or exactly these
444 // If there we're a prefix of longer index list(s), remove those
574 // is safe if Operands, or a prefix of Operands, is marked as safe.
