|
Packit |
67cb25 |
/* avl.c
|
|
Packit |
67cb25 |
*
|
|
Packit |
67cb25 |
* Copyright (C) 1998, 1999, 2000, 2001, 2002, 2004 Free Software
|
|
Packit |
67cb25 |
* Foundation, Inc.
|
|
Packit |
67cb25 |
* Copyright (C) 2014 Patrick Alken
|
|
Packit |
67cb25 |
*
|
|
Packit |
67cb25 |
* This program is free software; you can redistribute it and/or modify
|
|
Packit |
67cb25 |
* it under the terms of the GNU General Public License as published by
|
|
Packit |
67cb25 |
* the Free Software Foundation; either version 3 of the License, or (at
|
|
Packit |
67cb25 |
* your option) any later version.
|
|
Packit |
67cb25 |
*
|
|
Packit |
67cb25 |
* This program is distributed in the hope that it will be useful, but
|
|
Packit |
67cb25 |
* WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
Packit |
67cb25 |
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
|
|
Packit |
67cb25 |
* General Public License for more details.
|
|
Packit |
67cb25 |
*
|
|
Packit |
67cb25 |
* You should have received a copy of the GNU General Public License
|
|
Packit |
67cb25 |
* along with this program; if not, write to the Free Software
|
|
Packit |
67cb25 |
* Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
|
|
Packit |
67cb25 |
*/
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/*
|
|
Packit |
67cb25 |
* This code is originally from GNU libavl. The memory management
|
|
Packit |
67cb25 |
* was slightly modified for use with preallocating GSL sparse matrices
|
|
Packit |
67cb25 |
*
|
|
Packit |
67cb25 |
* The allocator->libavl_malloc function is called only for creating
|
|
Packit |
67cb25 |
* a new avl_node (tree node). This allows GSL to preallocate some number
|
|
Packit |
67cb25 |
* of avl_node structs and then return pointers to them while the tree
|
|
Packit |
67cb25 |
* is being assembled, avoiding multiple malloc calls
|
|
Packit |
67cb25 |
*/
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
#include <stdio.h>
|
|
Packit |
67cb25 |
#include <stdlib.h>
|
|
Packit |
67cb25 |
#include <stddef.h>
|
|
Packit |
67cb25 |
#include <string.h>
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Function types. */
|
|
Packit |
67cb25 |
typedef int avl_comparison_func (const void *avl_a, const void *avl_b,
|
|
Packit |
67cb25 |
void *avl_param);
|
|
Packit |
67cb25 |
typedef void avl_item_func (void *avl_item, void *avl_param);
|
|
Packit |
67cb25 |
typedef void *avl_copy_func (void *avl_item, void *avl_param);
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Memory allocator. */
|
|
Packit |
67cb25 |
struct libavl_allocator
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
void *(*libavl_malloc) (size_t libavl_size, void *param);
|
|
Packit |
67cb25 |
void (*libavl_free) (void *libavl_block, void *param);
|
|
Packit |
67cb25 |
};
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Default memory allocator. */
|
|
Packit |
67cb25 |
static struct libavl_allocator avl_allocator_default;
|
|
Packit |
67cb25 |
static void *avl_malloc (size_t, void *param);
|
|
Packit |
67cb25 |
static void avl_free (void *, void *param);
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Maximum AVL tree height. */
|
|
Packit |
67cb25 |
#ifndef AVL_MAX_HEIGHT
|
|
Packit |
67cb25 |
#define AVL_MAX_HEIGHT 92
|
|
Packit |
67cb25 |
#endif
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* An AVL tree node. */
|
|
Packit |
67cb25 |
struct avl_node
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *avl_link[2]; /* Subtrees. */
|
|
Packit |
67cb25 |
void *avl_data; /* Pointer to data. */
|
|
Packit |
67cb25 |
signed char avl_balance; /* Balance factor. */
|
|
Packit |
67cb25 |
};
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Tree data structure. */
|
|
Packit |
67cb25 |
struct avl_table
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *avl_root; /* Tree's root. */
|
|
Packit |
67cb25 |
avl_comparison_func *avl_compare; /* Comparison function. */
|
|
Packit |
67cb25 |
void *avl_param; /* Extra argument to |avl_compare|. */
|
|
Packit |
67cb25 |
struct libavl_allocator *avl_alloc; /* Memory allocator. */
|
|
Packit |
67cb25 |
size_t avl_count; /* Number of items in tree. */
|
|
Packit |
67cb25 |
unsigned long avl_generation; /* Generation number. */
|
|
Packit |
67cb25 |
};
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Table functions. */
|
|
Packit |
67cb25 |
static struct avl_table *avl_create (avl_comparison_func *, void *,
|
|
Packit |
67cb25 |
struct libavl_allocator *);
|
|
Packit |
67cb25 |
static struct avl_table *avl_copy (const struct avl_table *, avl_copy_func *,
|
|
Packit |
67cb25 |
avl_item_func *, struct libavl_allocator *);
|
|
Packit |
67cb25 |
static void avl_empty (struct avl_table *, avl_item_func *);
|
|
Packit |
67cb25 |
static void avl_destroy (struct avl_table *, avl_item_func *);
|
|
Packit |
67cb25 |
static void **avl_probe (struct avl_table *, void *);
|
|
Packit |
67cb25 |
static void *avl_insert (struct avl_table *, void *);
|
|
Packit |
67cb25 |
static void *avl_replace (struct avl_table *, void *);
|
|
Packit |
67cb25 |
static void *avl_delete (struct avl_table *, const void *);
|
|
Packit |
67cb25 |
static void *avl_find (const struct avl_table *, const void *);
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Creates and returns a new table
|
|
Packit |
67cb25 |
with comparison function |compare| using parameter |param|
|
|
Packit |
67cb25 |
and memory allocator |allocator|.
|
|
Packit |
67cb25 |
Returns |NULL| if memory allocation failed. */
|
|
Packit |
67cb25 |
static struct avl_table *
|
|
Packit |
67cb25 |
avl_create (avl_comparison_func *compare, void *param,
|
|
Packit |
67cb25 |
struct libavl_allocator *allocator)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_table *tree;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
if (allocator == NULL)
|
|
Packit |
67cb25 |
allocator = &avl_allocator_default;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/*tree = allocator->libavl_malloc (allocator, sizeof *tree);*/
|
|
Packit |
67cb25 |
tree = malloc(sizeof *tree);
|
|
Packit |
67cb25 |
if (tree == NULL)
|
|
Packit |
67cb25 |
return NULL;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
tree->avl_root = NULL;
|
|
Packit |
67cb25 |
tree->avl_compare = compare;
|
|
Packit |
67cb25 |
tree->avl_param = param;
|
|
Packit |
67cb25 |
tree->avl_alloc = allocator;
|
|
Packit |
67cb25 |
tree->avl_count = 0;
|
|
Packit |
67cb25 |
tree->avl_generation = 0;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
return tree;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Search |tree| for an item matching |item|, and return it if found.
|
|
Packit |
67cb25 |
Otherwise return |NULL|. */
|
|
Packit |
67cb25 |
static void *
|
|
Packit |
67cb25 |
avl_find (const struct avl_table *tree, const void *item)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
const struct avl_node *p;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
for (p = tree->avl_root; p != NULL; )
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
int cmp = tree->avl_compare (item, p->avl_data, tree->avl_param);
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
if (cmp < 0)
|
|
Packit |
67cb25 |
p = p->avl_link[0];
|
|
Packit |
67cb25 |
else if (cmp > 0)
|
|
Packit |
67cb25 |
p = p->avl_link[1];
|
|
Packit |
67cb25 |
else /* |cmp == 0| */
|
|
Packit |
67cb25 |
return p->avl_data;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
return NULL;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Inserts |item| into |tree| and returns a pointer to |item|'s address.
|
|
Packit |
67cb25 |
If a duplicate item is found in the tree,
|
|
Packit |
67cb25 |
returns a pointer to the duplicate without inserting |item|.
|
|
Packit |
67cb25 |
Returns |NULL| in case of memory allocation failure. */
|
|
Packit |
67cb25 |
static void **
|
|
Packit |
67cb25 |
avl_probe (struct avl_table *tree, void *item)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *y, *z; /* Top node to update balance factor, and parent. */
|
|
Packit |
67cb25 |
struct avl_node *p, *q; /* Iterator, and parent. */
|
|
Packit |
67cb25 |
struct avl_node *n; /* Newly inserted node. */
|
|
Packit |
67cb25 |
struct avl_node *w; /* New root of rebalanced subtree. */
|
|
Packit |
67cb25 |
int dir; /* Direction to descend. */
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
unsigned char da[AVL_MAX_HEIGHT]; /* Cached comparison results. */
|
|
Packit |
67cb25 |
int k = 0; /* Number of cached results. */
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
z = (struct avl_node *) &tree->avl_root;
|
|
Packit |
67cb25 |
y = tree->avl_root;
|
|
Packit |
67cb25 |
dir = 0;
|
|
Packit |
67cb25 |
for (q = z, p = y; p != NULL; q = p, p = p->avl_link[dir])
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
int cmp = tree->avl_compare (item, p->avl_data, tree->avl_param);
|
|
Packit |
67cb25 |
if (cmp == 0)
|
|
Packit |
67cb25 |
return &p->avl_data;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
if (p->avl_balance != 0)
|
|
Packit |
67cb25 |
z = q, y = p, k = 0;
|
|
Packit |
67cb25 |
da[k++] = dir = cmp > 0;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
n = q->avl_link[dir] =
|
|
Packit |
67cb25 |
tree->avl_alloc->libavl_malloc (sizeof *n, tree->avl_param);
|
|
Packit |
67cb25 |
if (n == NULL)
|
|
Packit |
67cb25 |
return NULL;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
tree->avl_count++;
|
|
Packit |
67cb25 |
n->avl_data = item;
|
|
Packit |
67cb25 |
n->avl_link[0] = n->avl_link[1] = NULL;
|
|
Packit |
67cb25 |
n->avl_balance = 0;
|
|
Packit |
67cb25 |
if (y == NULL)
|
|
Packit |
67cb25 |
return &n->avl_data;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
for (p = y, k = 0; p != n; p = p->avl_link[da[k]], k++)
|
|
Packit |
67cb25 |
if (da[k] == 0)
|
|
Packit |
67cb25 |
p->avl_balance--;
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
p->avl_balance++;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
if (y->avl_balance == -2)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *x = y->avl_link[0];
|
|
Packit |
67cb25 |
if (x->avl_balance == -1)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
w = x;
|
|
Packit |
67cb25 |
y->avl_link[0] = x->avl_link[1];
|
|
Packit |
67cb25 |
x->avl_link[1] = y;
|
|
Packit |
67cb25 |
x->avl_balance = y->avl_balance = 0;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
w = x->avl_link[1];
|
|
Packit |
67cb25 |
x->avl_link[1] = w->avl_link[0];
|
|
Packit |
67cb25 |
w->avl_link[0] = x;
|
|
Packit |
67cb25 |
y->avl_link[0] = w->avl_link[1];
|
|
Packit |
67cb25 |
w->avl_link[1] = y;
|
|
Packit |
67cb25 |
if (w->avl_balance == -1)
|
|
Packit |
67cb25 |
x->avl_balance = 0, y->avl_balance = +1;
|
|
Packit |
67cb25 |
else if (w->avl_balance == 0)
|
|
Packit |
67cb25 |
x->avl_balance = y->avl_balance = 0;
|
|
Packit |
67cb25 |
else /* |w->avl_balance == +1| */
|
|
Packit |
67cb25 |
x->avl_balance = -1, y->avl_balance = 0;
|
|
Packit |
67cb25 |
w->avl_balance = 0;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else if (y->avl_balance == +2)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *x = y->avl_link[1];
|
|
Packit |
67cb25 |
if (x->avl_balance == +1)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
w = x;
|
|
Packit |
67cb25 |
y->avl_link[1] = x->avl_link[0];
|
|
Packit |
67cb25 |
x->avl_link[0] = y;
|
|
Packit |
67cb25 |
x->avl_balance = y->avl_balance = 0;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
w = x->avl_link[0];
|
|
Packit |
67cb25 |
x->avl_link[0] = w->avl_link[1];
|
|
Packit |
67cb25 |
w->avl_link[1] = x;
|
|
Packit |
67cb25 |
y->avl_link[1] = w->avl_link[0];
|
|
Packit |
67cb25 |
w->avl_link[0] = y;
|
|
Packit |
67cb25 |
if (w->avl_balance == +1)
|
|
Packit |
67cb25 |
x->avl_balance = 0, y->avl_balance = -1;
|
|
Packit |
67cb25 |
else if (w->avl_balance == 0)
|
|
Packit |
67cb25 |
x->avl_balance = y->avl_balance = 0;
|
|
Packit |
67cb25 |
else /* |w->avl_balance == -1| */
|
|
Packit |
67cb25 |
x->avl_balance = +1, y->avl_balance = 0;
|
|
Packit |
67cb25 |
w->avl_balance = 0;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
return &n->avl_data;
|
|
Packit |
67cb25 |
z->avl_link[y != z->avl_link[0]] = w;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
tree->avl_generation++;
|
|
Packit |
67cb25 |
return &n->avl_data;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Inserts |item| into |table|.
|
|
Packit |
67cb25 |
Returns |NULL| if |item| was successfully inserted
|
|
Packit |
67cb25 |
or if a memory allocation error occurred.
|
|
Packit |
67cb25 |
Otherwise, returns the duplicate item. */
|
|
Packit |
67cb25 |
static void *
|
|
Packit |
67cb25 |
avl_insert (struct avl_table *table, void *item)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
void **p = avl_probe (table, item);
|
|
Packit |
67cb25 |
return p == NULL || *p == item ? NULL : *p;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Inserts |item| into |table|, replacing any duplicate item.
|
|
Packit |
67cb25 |
Returns |NULL| if |item| was inserted without replacing a duplicate,
|
|
Packit |
67cb25 |
or if a memory allocation error occurred.
|
|
Packit |
67cb25 |
Otherwise, returns the item that was replaced. */
|
|
Packit |
67cb25 |
static void *
|
|
Packit |
67cb25 |
avl_replace (struct avl_table *table, void *item)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
void **p = avl_probe (table, item);
|
|
Packit |
67cb25 |
if (p == NULL || *p == item)
|
|
Packit |
67cb25 |
return NULL;
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
void *r = *p;
|
|
Packit |
67cb25 |
*p = item;
|
|
Packit |
67cb25 |
return r;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Deletes from |tree| and returns an item matching |item|.
|
|
Packit |
67cb25 |
Returns a null pointer if no matching item found. */
|
|
Packit |
67cb25 |
static void *
|
|
Packit |
67cb25 |
avl_delete (struct avl_table *tree, const void *item)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
/* Stack of nodes. */
|
|
Packit |
67cb25 |
struct avl_node *pa[AVL_MAX_HEIGHT]; /* Nodes. */
|
|
Packit |
67cb25 |
unsigned char da[AVL_MAX_HEIGHT]; /* |avl_link[]| indexes. */
|
|
Packit |
67cb25 |
int k; /* Stack pointer. */
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
struct avl_node *p; /* Traverses tree to find node to delete. */
|
|
Packit |
67cb25 |
int cmp; /* Result of comparison between |item| and |p|. */
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
k = 0;
|
|
Packit |
67cb25 |
p = (struct avl_node *) &tree->avl_root;
|
|
Packit |
67cb25 |
for (cmp = -1; cmp != 0;
|
|
Packit |
67cb25 |
cmp = tree->avl_compare (item, p->avl_data, tree->avl_param))
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
int dir = cmp > 0;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
pa[k] = p;
|
|
Packit |
67cb25 |
da[k++] = dir;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
p = p->avl_link[dir];
|
|
Packit |
67cb25 |
if (p == NULL)
|
|
Packit |
67cb25 |
return NULL;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
item = p->avl_data;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
if (p->avl_link[1] == NULL)
|
|
Packit |
67cb25 |
pa[k - 1]->avl_link[da[k - 1]] = p->avl_link[0];
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *r = p->avl_link[1];
|
|
Packit |
67cb25 |
if (r->avl_link[0] == NULL)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
r->avl_link[0] = p->avl_link[0];
|
|
Packit |
67cb25 |
r->avl_balance = p->avl_balance;
|
|
Packit |
67cb25 |
pa[k - 1]->avl_link[da[k - 1]] = r;
|
|
Packit |
67cb25 |
da[k] = 1;
|
|
Packit |
67cb25 |
pa[k++] = r;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *s;
|
|
Packit |
67cb25 |
int j = k++;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
for (;;)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
da[k] = 0;
|
|
Packit |
67cb25 |
pa[k++] = r;
|
|
Packit |
67cb25 |
s = r->avl_link[0];
|
|
Packit |
67cb25 |
if (s->avl_link[0] == NULL)
|
|
Packit |
67cb25 |
break;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
r = s;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
s->avl_link[0] = p->avl_link[0];
|
|
Packit |
67cb25 |
r->avl_link[0] = s->avl_link[1];
|
|
Packit |
67cb25 |
s->avl_link[1] = p->avl_link[1];
|
|
Packit |
67cb25 |
s->avl_balance = p->avl_balance;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
pa[j - 1]->avl_link[da[j - 1]] = s;
|
|
Packit |
67cb25 |
da[j] = 1;
|
|
Packit |
67cb25 |
pa[j] = s;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
tree->avl_alloc->libavl_free (p, tree->avl_param);
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
while (--k > 0)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *y = pa[k];
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
if (da[k] == 0)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
y->avl_balance++;
|
|
Packit |
67cb25 |
if (y->avl_balance == +1)
|
|
Packit |
67cb25 |
break;
|
|
Packit |
67cb25 |
else if (y->avl_balance == +2)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *x = y->avl_link[1];
|
|
Packit |
67cb25 |
if (x->avl_balance == -1)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *w;
|
|
Packit |
67cb25 |
w = x->avl_link[0];
|
|
Packit |
67cb25 |
x->avl_link[0] = w->avl_link[1];
|
|
Packit |
67cb25 |
w->avl_link[1] = x;
|
|
Packit |
67cb25 |
y->avl_link[1] = w->avl_link[0];
|
|
Packit |
67cb25 |
w->avl_link[0] = y;
|
|
Packit |
67cb25 |
if (w->avl_balance == +1)
|
|
Packit |
67cb25 |
x->avl_balance = 0, y->avl_balance = -1;
|
|
Packit |
67cb25 |
else if (w->avl_balance == 0)
|
|
Packit |
67cb25 |
x->avl_balance = y->avl_balance = 0;
|
|
Packit |
67cb25 |
else /* |w->avl_balance == -1| */
|
|
Packit |
67cb25 |
x->avl_balance = +1, y->avl_balance = 0;
|
|
Packit |
67cb25 |
w->avl_balance = 0;
|
|
Packit |
67cb25 |
pa[k - 1]->avl_link[da[k - 1]] = w;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
y->avl_link[1] = x->avl_link[0];
|
|
Packit |
67cb25 |
x->avl_link[0] = y;
|
|
Packit |
67cb25 |
pa[k - 1]->avl_link[da[k - 1]] = x;
|
|
Packit |
67cb25 |
if (x->avl_balance == 0)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
x->avl_balance = -1;
|
|
Packit |
67cb25 |
y->avl_balance = +1;
|
|
Packit |
67cb25 |
break;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
x->avl_balance = y->avl_balance = 0;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
y->avl_balance--;
|
|
Packit |
67cb25 |
if (y->avl_balance == -1)
|
|
Packit |
67cb25 |
break;
|
|
Packit |
67cb25 |
else if (y->avl_balance == -2)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *x = y->avl_link[0];
|
|
Packit |
67cb25 |
if (x->avl_balance == +1)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *w;
|
|
Packit |
67cb25 |
w = x->avl_link[1];
|
|
Packit |
67cb25 |
x->avl_link[1] = w->avl_link[0];
|
|
Packit |
67cb25 |
w->avl_link[0] = x;
|
|
Packit |
67cb25 |
y->avl_link[0] = w->avl_link[1];
|
|
Packit |
67cb25 |
w->avl_link[1] = y;
|
|
Packit |
67cb25 |
if (w->avl_balance == -1)
|
|
Packit |
67cb25 |
x->avl_balance = 0, y->avl_balance = +1;
|
|
Packit |
67cb25 |
else if (w->avl_balance == 0)
|
|
Packit |
67cb25 |
x->avl_balance = y->avl_balance = 0;
|
|
Packit |
67cb25 |
else /* |w->avl_balance == +1| */
|
|
Packit |
67cb25 |
x->avl_balance = -1, y->avl_balance = 0;
|
|
Packit |
67cb25 |
w->avl_balance = 0;
|
|
Packit |
67cb25 |
pa[k - 1]->avl_link[da[k - 1]] = w;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
y->avl_link[0] = x->avl_link[1];
|
|
Packit |
67cb25 |
x->avl_link[1] = y;
|
|
Packit |
67cb25 |
pa[k - 1]->avl_link[da[k - 1]] = x;
|
|
Packit |
67cb25 |
if (x->avl_balance == 0)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
x->avl_balance = +1;
|
|
Packit |
67cb25 |
y->avl_balance = -1;
|
|
Packit |
67cb25 |
break;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
x->avl_balance = y->avl_balance = 0;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
tree->avl_count--;
|
|
Packit |
67cb25 |
tree->avl_generation++;
|
|
Packit |
67cb25 |
return (void *) item;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Destroys |new| with |avl_destroy (new, destroy)|,
|
|
Packit |
67cb25 |
first setting right links of nodes in |stack| within |new|
|
|
Packit |
67cb25 |
to null pointers to avoid touching uninitialized data. */
|
|
Packit |
67cb25 |
static void
|
|
Packit |
67cb25 |
copy_error_recovery (struct avl_node **stack, int height,
|
|
Packit |
67cb25 |
struct avl_table *new, avl_item_func *destroy)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
for (; height > 2; height -= 2)
|
|
Packit |
67cb25 |
stack[height - 1]->avl_link[1] = NULL;
|
|
Packit |
67cb25 |
avl_destroy (new, destroy);
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Copies |org| to a newly created tree, which is returned.
|
|
Packit |
67cb25 |
If |copy != NULL|, each data item in |org| is first passed to |copy|,
|
|
Packit |
67cb25 |
and the return values are inserted into the tree,
|
|
Packit |
67cb25 |
with |NULL| return values taken as indications of failure.
|
|
Packit |
67cb25 |
On failure, destroys the partially created new tree,
|
|
Packit |
67cb25 |
applying |destroy|, if non-null, to each item in the new tree so far,
|
|
Packit |
67cb25 |
and returns |NULL|.
|
|
Packit |
67cb25 |
If |allocator != NULL|, it is used for allocation in the new tree.
|
|
Packit |
67cb25 |
Otherwise, the same allocator used for |org| is used. */
|
|
Packit |
67cb25 |
static struct avl_table *
|
|
Packit |
67cb25 |
avl_copy (const struct avl_table *org, avl_copy_func *copy,
|
|
Packit |
67cb25 |
avl_item_func *destroy, struct libavl_allocator *allocator)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *stack[2 * (AVL_MAX_HEIGHT + 1)];
|
|
Packit |
67cb25 |
int height = 0;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
struct avl_table *new;
|
|
Packit |
67cb25 |
const struct avl_node *x;
|
|
Packit |
67cb25 |
struct avl_node *y;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
new = avl_create (org->avl_compare, org->avl_param,
|
|
Packit |
67cb25 |
allocator != NULL ? allocator : org->avl_alloc);
|
|
Packit |
67cb25 |
if (new == NULL)
|
|
Packit |
67cb25 |
return NULL;
|
|
Packit |
67cb25 |
new->avl_count = org->avl_count;
|
|
Packit |
67cb25 |
if (new->avl_count == 0)
|
|
Packit |
67cb25 |
return new;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
x = (const struct avl_node *) &org->avl_root;
|
|
Packit |
67cb25 |
y = (struct avl_node *) &new->avl_root;
|
|
Packit |
67cb25 |
for (;;)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
while (x->avl_link[0] != NULL)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
y->avl_link[0] =
|
|
Packit |
67cb25 |
new->avl_alloc->libavl_malloc (sizeof *y->avl_link[0],
|
|
Packit |
67cb25 |
new->avl_param);
|
|
Packit |
67cb25 |
if (y->avl_link[0] == NULL)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
if (y != (struct avl_node *) &new->avl_root)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
y->avl_data = NULL;
|
|
Packit |
67cb25 |
y->avl_link[1] = NULL;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
copy_error_recovery (stack, height, new, destroy);
|
|
Packit |
67cb25 |
return NULL;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
stack[height++] = (struct avl_node *) x;
|
|
Packit |
67cb25 |
stack[height++] = y;
|
|
Packit |
67cb25 |
x = x->avl_link[0];
|
|
Packit |
67cb25 |
y = y->avl_link[0];
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
y->avl_link[0] = NULL;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
for (;;)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
y->avl_balance = x->avl_balance;
|
|
Packit |
67cb25 |
if (copy == NULL)
|
|
Packit |
67cb25 |
y->avl_data = x->avl_data;
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
y->avl_data = copy (x->avl_data, org->avl_param);
|
|
Packit |
67cb25 |
if (y->avl_data == NULL)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
y->avl_link[1] = NULL;
|
|
Packit |
67cb25 |
copy_error_recovery (stack, height, new, destroy);
|
|
Packit |
67cb25 |
return NULL;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
if (x->avl_link[1] != NULL)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
y->avl_link[1] =
|
|
Packit |
67cb25 |
new->avl_alloc->libavl_malloc (sizeof *y->avl_link[1],
|
|
Packit |
67cb25 |
new->avl_param);
|
|
Packit |
67cb25 |
if (y->avl_link[1] == NULL)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
copy_error_recovery (stack, height, new, destroy);
|
|
Packit |
67cb25 |
return NULL;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
x = x->avl_link[1];
|
|
Packit |
67cb25 |
y = y->avl_link[1];
|
|
Packit |
67cb25 |
break;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
y->avl_link[1] = NULL;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
if (height <= 2)
|
|
Packit |
67cb25 |
return new;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
y = stack[--height];
|
|
Packit |
67cb25 |
x = stack[--height];
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* empty tree (delete all nodes) but do not free the tree itself */
|
|
Packit |
67cb25 |
static void
|
|
Packit |
67cb25 |
avl_empty (struct avl_table *tree, avl_item_func *destroy)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
struct avl_node *p, *q;
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
for (p = tree->avl_root; p != NULL; p = q)
|
|
Packit |
67cb25 |
if (p->avl_link[0] == NULL)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
q = p->avl_link[1];
|
|
Packit |
67cb25 |
if (destroy != NULL && p->avl_data != NULL)
|
|
Packit |
67cb25 |
destroy (p->avl_data, tree->avl_param);
|
|
Packit |
67cb25 |
tree->avl_alloc->libavl_free (p, tree->avl_param);
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
else
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
q = p->avl_link[0];
|
|
Packit |
67cb25 |
p->avl_link[0] = q->avl_link[1];
|
|
Packit |
67cb25 |
q->avl_link[1] = p;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
tree->avl_root = NULL;
|
|
Packit |
67cb25 |
tree->avl_count = 0;
|
|
Packit |
67cb25 |
tree->avl_generation = 0;
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Frees storage allocated for |tree|.
|
|
Packit |
67cb25 |
If |destroy != NULL|, applies it to each data item in inorder. */
|
|
Packit |
67cb25 |
static void
|
|
Packit |
67cb25 |
avl_destroy (struct avl_table *tree, avl_item_func *destroy)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
avl_empty(tree, destroy);
|
|
Packit |
67cb25 |
free(tree);
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Allocates |size| bytes of space using |malloc()|.
|
|
Packit |
67cb25 |
Returns a null pointer if allocation fails. */
|
|
Packit |
67cb25 |
static void *
|
|
Packit |
67cb25 |
avl_malloc (size_t size, void *param)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
(void)param; /* avoid unused parameter warning */
|
|
Packit |
67cb25 |
return malloc (size);
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Frees |block|. */
|
|
Packit |
67cb25 |
static void
|
|
Packit |
67cb25 |
avl_free (void *block, void *param)
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
(void)param; /* avoid unused parameter warning */
|
|
Packit |
67cb25 |
free (block);
|
|
Packit |
67cb25 |
}
|
|
Packit |
67cb25 |
|
|
Packit |
67cb25 |
/* Default memory allocator that uses |malloc()| and |free()|. */
|
|
Packit |
67cb25 |
static struct libavl_allocator avl_allocator_default =
|
|
Packit |
67cb25 |
{
|
|
Packit |
67cb25 |
avl_malloc,
|
|
Packit |
67cb25 |
avl_free
|
|
Packit |
67cb25 |
};
|