1999-05-03 15:29:06 +08:00
|
|
|
/* A splay-tree datatype.
|
2002-06-25 09:03:52 +08:00
|
|
|
Copyright 1998, 1999, 2000, 2002 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 */
|
|
|
|
|
2002-06-25 09:03:52 +08:00
|
|
|
#include "ansidecl.h"
|
1999-05-03 15:29:06 +08:00
|
|
|
|
2003-01-10 11:27:26 +08:00
|
|
|
#ifndef GTY
|
|
|
|
#define GTY(X)
|
|
|
|
#endif
|
|
|
|
|
1999-05-03 15:29:06 +08:00
|
|
|
/* 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. */
|
2005-03-28 13:07:01 +08:00
|
|
|
typedef int (*splay_tree_compare_fn) (splay_tree_key, splay_tree_key);
|
1999-05-03 15:29:06 +08:00
|
|
|
|
|
|
|
/* The type of a function used to deallocate any resources associated
|
|
|
|
with the key. */
|
2005-03-28 13:07:01 +08:00
|
|
|
typedef void (*splay_tree_delete_key_fn) (splay_tree_key);
|
1999-05-03 15:29:06 +08:00
|
|
|
|
|
|
|
/* The type of a function used to deallocate any resources associated
|
|
|
|
with the value. */
|
2005-03-28 13:07:01 +08:00
|
|
|
typedef void (*splay_tree_delete_value_fn) (splay_tree_value);
|
1999-05-03 15:29:06 +08:00
|
|
|
|
|
|
|
/* The type of a function used to iterate over the tree. */
|
2005-03-28 13:07:01 +08:00
|
|
|
typedef int (*splay_tree_foreach_fn) (splay_tree_node, void*);
|
1999-05-03 15:29:06 +08:00
|
|
|
|
2002-02-22 06:19:14 +08:00
|
|
|
/* The type of a function used to allocate memory for tree root and
|
|
|
|
node structures. The first argument is the number of bytes needed;
|
|
|
|
the second is a data pointer the splay tree functions pass through
|
|
|
|
to the allocator. This function must never return zero. */
|
2005-03-28 13:07:01 +08:00
|
|
|
typedef PTR (*splay_tree_allocate_fn) (int, void *);
|
2002-02-22 06:19:14 +08:00
|
|
|
|
|
|
|
/* The type of a function used to free memory allocated using the
|
|
|
|
corresponding splay_tree_allocate_fn. The first argument is the
|
|
|
|
memory to be freed; the latter is a data pointer the splay tree
|
|
|
|
functions pass through to the freer. */
|
2005-03-28 13:07:01 +08:00
|
|
|
typedef void (*splay_tree_deallocate_fn) (void *, void *);
|
2002-02-22 06:19:14 +08:00
|
|
|
|
1999-05-03 15:29:06 +08:00
|
|
|
/* The nodes in the splay tree. */
|
2003-01-10 11:27:26 +08:00
|
|
|
struct splay_tree_node_s GTY(())
|
1999-05-03 15:29:06 +08:00
|
|
|
{
|
|
|
|
/* The key. */
|
2004-03-31 04:03:09 +08:00
|
|
|
splay_tree_key GTY ((use_param1)) key;
|
1999-05-03 15:29:06 +08:00
|
|
|
|
|
|
|
/* The value. */
|
2004-03-31 04:03:09 +08:00
|
|
|
splay_tree_value GTY ((use_param2)) value;
|
1999-05-03 15:29:06 +08:00
|
|
|
|
|
|
|
/* The left and right children, respectively. */
|
2004-03-31 04:03:09 +08:00
|
|
|
splay_tree_node GTY ((use_params)) left;
|
|
|
|
splay_tree_node GTY ((use_params)) right;
|
1999-05-03 15:29:06 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
/* The splay tree itself. */
|
2003-01-10 11:27:26 +08:00
|
|
|
struct splay_tree_s GTY(())
|
1999-05-03 15:29:06 +08:00
|
|
|
{
|
|
|
|
/* The root of the tree. */
|
2004-03-31 04:03:09 +08:00
|
|
|
splay_tree_node GTY ((use_params)) root;
|
1999-05-03 15:29:06 +08:00
|
|
|
|
|
|
|
/* 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;
|
2002-02-22 06:19:14 +08:00
|
|
|
|
|
|
|
/* Allocate/free functions, and a data pointer to pass to them. */
|
|
|
|
splay_tree_allocate_fn allocate;
|
|
|
|
splay_tree_deallocate_fn deallocate;
|
2004-03-31 04:03:09 +08:00
|
|
|
PTR GTY((skip)) allocate_data;
|
2002-02-22 06:19:14 +08:00
|
|
|
|
2003-01-10 11:27:26 +08:00
|
|
|
};
|
|
|
|
typedef struct splay_tree_s *splay_tree;
|
1999-05-03 15:29:06 +08:00
|
|
|
|
2005-03-28 13:07:01 +08:00
|
|
|
extern splay_tree splay_tree_new (splay_tree_compare_fn,
|
|
|
|
splay_tree_delete_key_fn,
|
|
|
|
splay_tree_delete_value_fn);
|
|
|
|
extern splay_tree splay_tree_new_with_allocator (splay_tree_compare_fn,
|
|
|
|
splay_tree_delete_key_fn,
|
2002-02-22 06:19:14 +08:00
|
|
|
splay_tree_delete_value_fn,
|
2005-03-28 13:07:01 +08:00
|
|
|
splay_tree_allocate_fn,
|
|
|
|
splay_tree_deallocate_fn,
|
|
|
|
void *);
|
|
|
|
extern void splay_tree_delete (splay_tree);
|
|
|
|
extern splay_tree_node splay_tree_insert (splay_tree,
|
|
|
|
splay_tree_key,
|
|
|
|
splay_tree_value);
|
|
|
|
extern void splay_tree_remove (splay_tree, splay_tree_key);
|
|
|
|
extern splay_tree_node splay_tree_lookup (splay_tree, splay_tree_key);
|
|
|
|
extern splay_tree_node splay_tree_predecessor (splay_tree, splay_tree_key);
|
|
|
|
extern splay_tree_node splay_tree_successor (splay_tree, splay_tree_key);
|
|
|
|
extern splay_tree_node splay_tree_max (splay_tree);
|
|
|
|
extern splay_tree_node splay_tree_min (splay_tree);
|
|
|
|
extern int splay_tree_foreach (splay_tree, splay_tree_foreach_fn, void*);
|
|
|
|
extern int splay_tree_compare_ints (splay_tree_key, splay_tree_key);
|
|
|
|
extern int splay_tree_compare_pointers (splay_tree_key, splay_tree_key);
|
1999-05-03 15:29:06 +08:00
|
|
|
|
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
|
|
|
#endif /* __cplusplus */
|
|
|
|
|
|
|
|
#endif /* _SPLAY_TREE_H */
|