Home
last modified time | relevance | path

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

/dports/math/boolector/boolector-3.2.2/src/
H A Dbtornode.h697 void btor_node_bv_const_set_invbits (BtorNode *exp, BtorBitVector *bits);
H A Dbtornode.c825 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() function
1871 btor_node_bv_const_set_invbits ((BtorNode *) exp, in new_const_exp_node()
H A Dbtorclone.c519 btor_node_bv_const_set_invbits (res, bits); in clone_exp()