Esempi in Java per FP64.New

Esempio n. 1

File: Value.java Progetto: thanhhai1302/TLA_Z3

 /* This method returns the hash code of this value. */
 public final int hashCode() {
   long fp = this.fingerPrint(FP64.New());
   int high = (int) (fp >> 32);
   int low = (int) fp;
   return high ^ low;
 }