1999-05-03 15:29:06 +08:00
|
|
|
/* A splay-tree datatype.
|
2001-03-14 10:27:44 +08:00
|
|
|
Copyright 1998, 1999, 2000 Free Software Foundation, Inc.
|
1999-05-03 15:29:06 +08:00
|
|
|
Contributed by Mark Mitchell (mark@markmitchell.com).
|
|
|
|
|
2001-08-23 22:51:49 +08:00
|
|
|
This file is part of GCC.
|
1999-05-03 15:29:06 +08:00
|
|
|
|
2001-08-23 22:51:49 +08:00
|
|
|
GCC is free software; you can redistribute it and/or modify it
|
1999-05-03 15:29:06 +08:00
|
|
|
under the terms of the GNU General Public License as published by
|
|
|
|
the Free Software Foundation; either version 2, or (at your option)
|
|
|
|
any later version.
|
|
|
|
|
2001-08-23 22:51:49 +08:00
|
|
|
GCC is distributed in the hope that it will be useful, but
|
1999-05-03 15:29:06 +08:00
|
|
|
WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
|
|
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
|
|
General Public License for more details.
|
|
|
|
|
|
|
|
You should have received a copy of the GNU General Public License
|
2001-08-23 22:51:49 +08:00
|
|
|
along with GCC; see the file COPYING. If not, write to
|
1999-05-03 15:29:06 +08:00
|
|
|
the Free Software Foundation, 59 Temple Place - Suite 330,
|
|
|
|
Boston, MA 02111-1307, USA. */
|
|
|
|
|
|
|
|
/* For an easily readable description of splay-trees, see:
|
|
|
|
|
|
|
|
Lewis, Harry R. and Denenberg, Larry. Data Structures and Their
|
|
|
|
Algorithms. Harper-Collins, Inc. 1991.
|
|
|
|
|
|
|
|
The major feature of splay trees is that all basic tree operations
|
|
|
|
are amortized O(log n) time for a tree with n nodes. */
|
|
|
|
|
|
|
|
#ifndef _SPLAY_TREE_H
|
|
|
|
#define _SPLAY_TREE_H
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif /* __cplusplus */
|
|
|
|
|
|
|
|
#include <ansidecl.h>
|
|
|
|
|
|
|
|
/* Use typedefs for the key and data types to facilitate changing
|
|
|
|
these types, if necessary. These types should be sufficiently wide
|
|
|
|
that any pointer or scalar can be cast to these types, and then
|
|
|
|
cast back, without loss of precision. */
|
|
|
|
typedef unsigned long int splay_tree_key;
|
|
|
|
typedef unsigned long int splay_tree_value;
|
|
|
|
|
|
|
|
/* Forward declaration for a node in the tree. */
|
2000-02-23 00:18:13 +08:00
|
|
|
typedef struct splay_tree_node_s *splay_tree_node;
|
1999-05-03 15:29:06 +08:00
|
|
|
|
|
|
|
/* The type of a function which compares two splay-tree keys. The
|
|
|
|
function should return values as for qsort. */
|
|
|
|
typedef int (*splay_tree_compare_fn) PARAMS((splay_tree_key, splay_tree_key));
|
|
|
|
|
|
|
|
/* The type of a function used to deallocate any resources associated
|
|
|
|
with the key. */
|
|
|
|
typedef void (*splay_tree_delete_key_fn) PARAMS((splay_tree_key));
|
|
|
|
|
|
|
|
/* The type of a function used to deallocate any resources associated
|
|
|
|
with the value. */
|
|
|
|
typedef void (*splay_tree_delete_value_fn) PARAMS((splay_tree_value));
|
|
|
|
|
|
|
|
/* The type of a function used to iterate over the tree. */
|
|
|
|
typedef int (*splay_tree_foreach_fn) PARAMS((splay_tree_node, void*));
|
|
|
|
|
|
|
|
/* The nodes in the splay tree. */
|
2000-02-23 00:18:13 +08:00
|
|
|
struct splay_tree_node_s
|
1999-05-03 15:29:06 +08:00
|
|
|
{
|
|
|
|
/* The key. */
|
|
|
|
splay_tree_key key;
|
|
|
|
|
|
|
|
/* The value. */
|
|
|
|
splay_tree_value value;
|
|
|
|
|
|
|
|
/* The left and right children, respectively. */
|
|
|
|
splay_tree_node left;
|
|
|
|
splay_tree_node right;
|
|
|
|
};
|
|
|
|
|
|
|
|
/* The splay tree itself. */
|
2000-02-23 00:18:13 +08:00
|
|
|
typedef struct splay_tree_s
|
1999-05-03 15:29:06 +08:00
|
|
|
{
|
|
|
|
/* The root of the tree. */
|
|
|
|
splay_tree_node root;
|
|
|
|
|
|
|
|
/* The comparision function. */
|
|
|
|
splay_tree_compare_fn comp;
|
|
|
|
|
|
|
|
/* The deallocate-key function. NULL if no cleanup is necessary. */
|
|
|
|
splay_tree_delete_key_fn delete_key;
|
|
|
|
|
|
|
|
/* The deallocate-value function. NULL if no cleanup is necessary. */
|
|
|
|
splay_tree_delete_value_fn delete_value;
|
|
|
|
} *splay_tree;
|
|
|
|
|
|
|
|
extern splay_tree splay_tree_new PARAMS((splay_tree_compare_fn,
|
|
|
|
splay_tree_delete_key_fn,
|
|
|
|
splay_tree_delete_value_fn));
|
|
|
|
extern void splay_tree_delete PARAMS((splay_tree));
|
2000-02-23 00:18:13 +08:00
|
|
|
extern splay_tree_node splay_tree_insert
|
|
|
|
PARAMS((splay_tree,
|
1999-05-03 15:29:06 +08:00
|
|
|
splay_tree_key,
|
|
|
|
splay_tree_value));
|
2000-04-06 08:15:35 +08:00
|
|
|
extern void splay_tree_remove PARAMS((splay_tree,
|
|
|
|
splay_tree_key));
|
1999-05-03 15:29:06 +08:00
|
|
|
extern splay_tree_node splay_tree_lookup
|
|
|
|
PARAMS((splay_tree,
|
|
|
|
splay_tree_key));
|
2000-10-12 10:15:49 +08:00
|
|
|
extern splay_tree_node splay_tree_predecessor
|
|
|
|
PARAMS((splay_tree,
|
|
|
|
splay_tree_key));
|
|
|
|
extern splay_tree_node splay_tree_successor
|
|
|
|
PARAMS((splay_tree,
|
|
|
|
splay_tree_key));
|
2001-05-08 00:19:25 +08:00
|
|
|
extern splay_tree_node splay_tree_max
|
|
|
|
PARAMS((splay_tree));
|
|
|
|
extern splay_tree_node splay_tree_min
|
|
|
|
PARAMS((splay_tree));
|
1999-05-03 15:29:06 +08:00
|
|
|
extern int splay_tree_foreach PARAMS((splay_tree,
|
|
|
|
splay_tree_foreach_fn,
|
|
|
|
void*));
|
|
|
|
extern int splay_tree_compare_ints PARAMS((splay_tree_key,
|
|
|
|
splay_tree_key));
|
|
|
|
extern int splay_tree_compare_pointers PARAMS((splay_tree_key,
|
|
|
|
splay_tree_key));
|
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif /* __cplusplus */
|
|
|
|
|
|
|
|
#endif /* _SPLAY_TREE_H */
|