Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 3 of 3 for proof (0.01 sec)

  1. android/guava/src/com/google/common/primitives/UnsignedLongs.java

         * guaranteed to be either exact or one less than the correct value. This follows from fact that
         * floor(floor(x)/i) == floor(x/i) for any real x and integer i != 0. The proof is not quite
         * trivial.
         */
        long quotient = ((dividend >>> 1) / divisor) << 1;
        long rem = dividend - quotient * divisor;
        return quotient + (compare(rem, divisor) >= 0 ? 1 : 0);
      }
    
    Registered: Fri Dec 26 12:43:10 UTC 2025
    - Last Modified: Mon Aug 11 19:31:30 UTC 2025
    - 17.8K bytes
    - Viewed (0)
  2. android/guava/src/com/google/common/hash/Hashing.java

       * MD5 (128 hash bits) hash function and the given secret key.
       *
       * <p>If you are designing a new system that needs HMAC, prefer {@link #hmacSha256} or other
       * future-proof algorithms <a
       * href="https://datatracker.ietf.org/doc/html/rfc6151#section-2.3">over {@code hmacMd5}</a>.
       *
       * @param key the secret key
    Registered: Fri Dec 26 12:43:10 UTC 2025
    - Last Modified: Thu Jul 17 15:26:41 UTC 2025
    - 29.8K bytes
    - Viewed (0)
  3. android/guava/src/com/google/common/base/Equivalence.java

            Wrapper<?> that = (Wrapper<?>) obj; // note: not necessarily a Wrapper<T>
    
            if (this.equivalence.equals(that.equivalence)) {
              /*
               * We'll accept that as sufficient "proof" that either equivalence should be able to
               * handle either reference, so it's safe to circumvent compile-time type checking.
               */
              @SuppressWarnings("unchecked")
    Registered: Fri Dec 26 12:43:10 UTC 2025
    - Last Modified: Thu Jul 10 01:47:55 UTC 2025
    - 14.5K bytes
    - Viewed (0)
Back to top