Searched refs:hash_const_hobj (Results 1 – 1 of 1) sorted by relevance
1647 static uint32_t hash_const_hobj(const_hobj_t *p) { in hash_const_hobj() function1672 const_hobj.m.hash = (hobj_hash_t) hash_const_hobj; in egraph_constant_term()