Searched refs:cloned_exp (Results 1 – 1 of 1) sorted by relevance
47 BtorNode *exp, *cloned_exp; in btor_clone_key_as_node() local54 assert (cloned_exp); in btor_clone_key_as_node()55 return cloned_exp; in btor_clone_key_as_node()111 BtorNode *exp, *cloned_exp; in btor_clone_data_as_node_ptr() local118 assert (cloned_exp); in btor_clone_data_as_node_ptr()119 cloned_data->as_ptr = cloned_exp; in btor_clone_data_as_node_ptr()635 BtorNode *cloned_exp; in btor_clone_node_ptr_stack() local654 assert (cloned_exp); in btor_clone_node_ptr_stack()680 BtorNode **tmp, *exp, *cloned_exp; in clone_nodes_id_table() local754 cloned_exp, in clone_nodes_id_table()[all …]