int node_bucket_contains(pbqp_node_bucket bucket, pbqp_node *node);
void node_bucket_copy(pbqp_node_bucket *dst, pbqp_node_bucket src);
void node_bucket_deep_copy(pbqp *pbqp, pbqp_node_bucket *dst, pbqp_node_bucket src);
int node_bucket_contains(pbqp_node_bucket bucket, pbqp_node *node);
void node_bucket_copy(pbqp_node_bucket *dst, pbqp_node_bucket src);
void node_bucket_deep_copy(pbqp *pbqp, pbqp_node_bucket *dst, pbqp_node_bucket src);