Searched refs:btor_node_set_to_proxy (Results 1 – 3 of 3) sorted by relevance
618 void btor_node_set_to_proxy (Btor *btor, BtorNode *exp);
971 btor_node_set_to_proxy (Btor *btor, BtorNode *exp) in btor_node_set_to_proxy() function
2156 btor_node_set_to_proxy (btor, exp); in btor_set_simplified_exp()