Searched refs:lookupbits (Results 1 – 1 of 1) sorted by relevance
2263 BtorBitVector *lookupbits; in btor_node_create_bv_const() local2269 lookupbits = btor_bv_not (btor->mm, bits); in btor_node_create_bv_const()2274 lookupbits = btor_bv_copy (btor->mm, bits); in btor_node_create_bv_const()2278 lookup = find_const_exp (btor, lookupbits); in btor_node_create_bv_const()2284 lookup = find_const_exp (btor, lookupbits); in btor_node_create_bv_const()2286 *lookup = new_const_exp_node (btor, lookupbits); in btor_node_create_bv_const()2296 btor_bv_free (btor->mm, lookupbits); in btor_node_create_bv_const()