Searched refs:btor_node_bv_const_set_invbits (Results 1 – 3 of 3) sorted by relevance
697 void btor_node_bv_const_set_invbits (BtorNode *exp, BtorBitVector *bits);
825 btor_node_bv_const_set_invbits (exp, 0); in erase_local_data_exp()1255 btor_node_bv_const_set_invbits (BtorNode *exp, BtorBitVector *bits) in btor_node_bv_const_set_invbits() function1871 btor_node_bv_const_set_invbits ((BtorNode *) exp, in new_const_exp_node()
519 btor_node_bv_const_set_invbits (res, bits); in clone_exp()