2 * Copyright (C) 1995-2008 University of Karlsruhe. All right reserved.
4 * This file is part of libFirm.
6 * This file may be distributed and/or modified under the terms of the
7 * GNU General Public License version 2 as published by the Free Software
8 * Foundation and appearing in the file LICENSE.GPL included in the
9 * packaging of this file.
11 * Licensees holding valid libFirm Professional Edition licenses may use
12 * this file in accordance with the libFirm Commercial License.
13 * Agreement provided with the Software.
15 * This file is provided AS IS with NO WARRANTY OF ANY KIND, INCLUDING THE
16 * WARRANTY OF DESIGN, MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 * @brief Buckets for nodes and edges.
24 * @author Sebastian Buchwald
32 int edge_bucket_contains(pbqp_edge_bucket_t bucket, pbqp_edge_t *edge);
33 void edge_bucket_free(pbqp_edge_bucket_t *bucket);
34 unsigned edge_bucket_get_length(pbqp_edge_bucket_t bucket);
35 void edge_bucket_init(pbqp_edge_bucket_t *bucket);
36 void edge_bucket_insert(pbqp_edge_bucket_t *bucket, pbqp_edge_t *edge);
37 pbqp_edge_t *edge_bucket_pop(pbqp_edge_bucket_t *bucket);
39 int node_bucket_contains(pbqp_node_bucket_t bucket, pbqp_node_t *node);
40 void node_bucket_copy(pbqp_node_bucket_t *dst, pbqp_node_bucket_t src);
41 void node_bucket_deep_copy(pbqp_t *pbqp, pbqp_node_bucket_t *dst, pbqp_node_bucket_t src);
42 void node_bucket_free(pbqp_node_bucket_t *bucket);
43 unsigned node_bucket_get_length(pbqp_node_bucket_t bucket);
44 void node_bucket_init(pbqp_node_bucket_t *bucket);
45 void node_bucket_insert(pbqp_node_bucket_t *bucket, pbqp_node_t *node);
46 pbqp_node_t *node_bucket_pop(pbqp_node_bucket_t *bucket);
47 void node_bucket_remove(pbqp_node_bucket_t *bucket, pbqp_node_t *node);
48 void node_bucket_shrink(pbqp_node_bucket_t *bucket, unsigned len);
49 void node_bucket_update(pbqp_t *pbqp, pbqp_node_bucket_t bucket);
51 #endif /* KAPS_BUCKET_H */