Home
last modified time | relevance | path

Searched refs:hash_bvarray (Results 1 – 1 of 1) sorted by relevance

/dports/math/yices/yices-2.6.2/src/solvers/bv/
H A Dbv_vartable.c242 static inline uint32_t hash_bvarray(literal_t *b, uint32_t n) { in hash_bvarray() function
347 h = hash_bvarray(table->def[i].ptr, table->bit_size[i]); in bv_vartable_remove_vars()
648 return hash_bvarray(p->val, p->nbits); in hash_bvarray_hobj()