Searched refs:hashCode (Results 1 – 1 of 1) sorted by relevance
1375 int g, top_var, i0, hashCode; in normalize_omega_problem() local1430 hashCode = g * (i + 3); in normalize_omega_problem()1441 hashCode = hashCode * hash_key_multiplier * (i + 3) + x; in normalize_omega_problem()1461 hashCode = hashCode * hash_key_multiplier * (i + 3) + x; in normalize_omega_problem()1470 hashCode = pb->geqs[e].coef[i] * (i + 3); in normalize_omega_problem()1476 hashCode = hashCode * hash_key_multiplier * (i + 3) in normalize_omega_problem()1481 g2 = abs (hashCode); in normalize_omega_problem()1485 fprintf (dump_file, "Hash code = %d, eqn = ", hashCode); in normalize_omega_problem()1499 if (hashCode >= 0) in normalize_omega_problem()1518 if (hashCode >= 0) in normalize_omega_problem()[all …]