Searched refs:next_key (Results 1 – 3 of 3) sorted by relevance
60 static int next_key; variable1547 next_key); in normalize_omega_problem()1549 proto->key = next_key++; in normalize_omega_problem()4963 if (next_key * 3 > MAX_KEYS) in omega_simplify_problem()4968 next_key = OMEGA_MAX_VARS + 1; in omega_simplify_problem()5478 next_key = OMEGA_MAX_VARS + 1; in omega_initialize()
2828 hammer2_key_t next_key; in hammer2_chain_scan() local2947 next_key = 0; in hammer2_chain_scan()2951 &next_key, in hammer2_chain_scan()3034 key = next_key; in hammer2_chain_scan()
2845 hammer2_key_t next_key; in hammer2_chain_scan() local2964 next_key = 0; in hammer2_chain_scan()2968 &next_key, in hammer2_chain_scan()3051 key = next_key; in hammer2_chain_scan()