2012-08-04 12:49:38 +00:00
|
|
|
/*
|
|
|
|
set.c
|
|
|
|
|
|
|
|
Set manipulation.
|
|
|
|
|
|
|
|
Copyright (C) 2012 Bill Currie <bill@taniwha.org>
|
|
|
|
|
|
|
|
Author: Bill Currie <bill@taniwha.org>
|
|
|
|
Date: 2012/8/4
|
|
|
|
|
|
|
|
This program is free software; you can redistribute it and/or
|
|
|
|
modify it under the terms of the GNU General Public License
|
|
|
|
as published by the Free Software Foundation; either version 2
|
|
|
|
of the License, or (at your option) any later version.
|
|
|
|
|
|
|
|
This program is distributed in the hope that it will be useful,
|
|
|
|
but 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
|
|
|
|
along with this program; if not, write to:
|
|
|
|
|
|
|
|
Free Software Foundation, Inc.
|
|
|
|
59 Temple Place - Suite 330
|
|
|
|
Boston, MA 02111-1307, USA
|
|
|
|
|
|
|
|
*/
|
|
|
|
#ifdef HAVE_CONFIG_H
|
|
|
|
# include "config.h"
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#ifdef HAVE_STRING_H
|
|
|
|
# include <string.h>
|
|
|
|
#endif
|
|
|
|
#ifdef HAVE_STRINGS_H
|
|
|
|
# include <strings.h>
|
|
|
|
#endif
|
|
|
|
|
|
|
|
#include <stdlib.h>
|
|
|
|
|
2012-10-30 11:10:25 +00:00
|
|
|
#include "QF/dstring.h"
|
2012-08-04 12:49:38 +00:00
|
|
|
#include "QF/mathlib.h"
|
|
|
|
|
2012-11-01 06:00:26 +00:00
|
|
|
#include "qfcc.h"
|
2012-08-04 12:49:38 +00:00
|
|
|
#include "set.h"
|
|
|
|
|
|
|
|
#define BITS (sizeof (unsigned) * 8)
|
|
|
|
|
2012-11-02 05:12:58 +00:00
|
|
|
set_t *free_sets;
|
2012-11-02 04:39:11 +00:00
|
|
|
set_iter_t *free_set_iters;
|
2012-11-01 06:00:26 +00:00
|
|
|
|
2012-11-02 04:39:11 +00:00
|
|
|
static set_iter_t *
|
|
|
|
new_setiter (void)
|
2012-11-01 06:00:26 +00:00
|
|
|
{
|
2012-11-02 04:39:11 +00:00
|
|
|
set_iter_t *set_iter;
|
|
|
|
ALLOC (16, set_iter_t, set_iters, set_iter);
|
|
|
|
return set_iter;
|
2012-11-01 06:00:26 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
2012-11-02 04:39:11 +00:00
|
|
|
delete_setiter (set_iter_t *set_iter)
|
2012-11-01 06:00:26 +00:00
|
|
|
{
|
2012-11-02 04:39:11 +00:00
|
|
|
set_iter->next = free_set_iters;
|
|
|
|
free_set_iters = set_iter;
|
2012-11-01 06:00:26 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
void
|
2012-11-02 04:39:11 +00:00
|
|
|
set_del_iter (set_iter_t *set_iter)
|
2012-11-01 06:00:26 +00:00
|
|
|
{
|
2012-11-02 04:39:11 +00:00
|
|
|
delete_setiter (set_iter);
|
2012-11-01 06:00:26 +00:00
|
|
|
}
|
|
|
|
|
2012-08-04 12:49:38 +00:00
|
|
|
set_t *
|
|
|
|
set_new (void)
|
|
|
|
{
|
|
|
|
set_t *set;
|
|
|
|
|
2012-11-02 05:12:58 +00:00
|
|
|
ALLOC (16, set_t, sets, set);
|
2012-08-04 12:49:38 +00:00
|
|
|
set->size = sizeof (set->defmap) * 8;
|
|
|
|
set->map = set->defmap;
|
|
|
|
return set;
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
set_delete (set_t *set)
|
|
|
|
{
|
|
|
|
if (set->map != set->defmap)
|
|
|
|
free (set->map);
|
2012-11-02 05:12:58 +00:00
|
|
|
set->next = free_sets;
|
|
|
|
free_sets = set;
|
2012-08-04 12:49:38 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
static void
|
|
|
|
set_expand (set_t *set, unsigned x)
|
|
|
|
{
|
|
|
|
unsigned *map = set->map;
|
|
|
|
size_t size;
|
|
|
|
|
|
|
|
if (x < set->size)
|
|
|
|
return;
|
|
|
|
|
|
|
|
size = (x + BITS - 1) & ~(BITS - 1);
|
|
|
|
set->map = malloc (size / 8);
|
|
|
|
memcpy (set->map, map, set->size / 8);
|
|
|
|
if (map != set->defmap)
|
|
|
|
free (map);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
set_add (set_t *set, unsigned x)
|
|
|
|
{
|
|
|
|
if (x >= set->size)
|
|
|
|
set_expand (set, x);
|
|
|
|
set->map[x / BITS] |= 1 << (x % BITS);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
set_remove (set_t *set, unsigned x)
|
|
|
|
{
|
|
|
|
if (x >= set->size)
|
|
|
|
return;
|
|
|
|
set->map[x / BITS] &= ~(1 << (x % BITS));
|
|
|
|
}
|
|
|
|
|
|
|
|
set_t *
|
|
|
|
set_union (set_t *dst, const set_t *src)
|
|
|
|
{
|
|
|
|
unsigned size;
|
|
|
|
unsigned i;
|
|
|
|
|
|
|
|
size = max (dst->size, src->size) - 1;
|
|
|
|
set_expand (dst, size);
|
|
|
|
for (i = 0; i < src->size / BITS; i++)
|
|
|
|
dst->map[i] |= src->map[i];
|
|
|
|
return dst;
|
|
|
|
}
|
|
|
|
|
|
|
|
set_t *
|
|
|
|
set_intersection (set_t *dst, const set_t *src)
|
|
|
|
{
|
|
|
|
unsigned size;
|
|
|
|
unsigned i;
|
|
|
|
|
|
|
|
size = max (dst->size, src->size) - 1;
|
|
|
|
set_expand (dst, size);
|
|
|
|
for (i = 0; i < src->size / BITS; i++)
|
|
|
|
dst->map[i] &= src->map[i];
|
|
|
|
return dst;
|
|
|
|
}
|
|
|
|
|
|
|
|
set_t *
|
|
|
|
set_difference (set_t *dst, const set_t *src)
|
|
|
|
{
|
|
|
|
unsigned size;
|
|
|
|
unsigned i;
|
|
|
|
|
|
|
|
size = max (dst->size, src->size) - 1;
|
|
|
|
set_expand (dst, size);
|
|
|
|
for (i = 0; i < src->size / BITS; i++)
|
|
|
|
dst->map[i] &= ~src->map[i];
|
|
|
|
return dst;
|
|
|
|
}
|
|
|
|
|
|
|
|
set_t *
|
|
|
|
set_assign (set_t *dst, const set_t *src)
|
|
|
|
{
|
|
|
|
unsigned size;
|
|
|
|
unsigned i;
|
|
|
|
|
|
|
|
size = max (dst->size, src->size) - 1;
|
|
|
|
set_expand (dst, size);
|
|
|
|
for (i = 0; i < src->size / BITS; i++)
|
|
|
|
dst->map[i] = src->map[i];
|
|
|
|
return dst;
|
|
|
|
}
|
|
|
|
|
|
|
|
set_t *
|
|
|
|
set_empty (set_t *set)
|
|
|
|
{
|
|
|
|
unsigned i;
|
|
|
|
|
|
|
|
for (i = 0; i < set->size / BITS; i++)
|
|
|
|
set->map[i] = 0;
|
|
|
|
return set;
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
set_is_empty (const set_t *set)
|
|
|
|
{
|
|
|
|
unsigned i;
|
|
|
|
|
|
|
|
for (i = 0; i < set->size / BITS; i++)
|
|
|
|
if (set->map[i])
|
|
|
|
return 0;
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
typedef enum {
|
|
|
|
set_equiv,
|
|
|
|
set_intersecting,
|
|
|
|
set_disjoint,
|
|
|
|
} set_test_e;
|
|
|
|
|
|
|
|
static int
|
|
|
|
set_test (const set_t *s1, const set_t *s2)
|
|
|
|
{
|
|
|
|
unsigned i, end;
|
|
|
|
set_test_e rval = set_equiv;
|
|
|
|
|
|
|
|
end = min (s1->size, s2->size) / BITS;
|
|
|
|
for (i = 0; i < end; i++) {
|
|
|
|
if (s1->map[i] != s2->map[i]) {
|
2012-10-30 12:54:56 +00:00
|
|
|
if (s1->map[i] & s2->map[i])
|
2012-08-04 12:49:38 +00:00
|
|
|
return set_intersecting;
|
|
|
|
else
|
|
|
|
rval = set_disjoint;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
if (rval == set_equiv) {
|
|
|
|
for (; i < s1->size / BITS; i++)
|
|
|
|
if (s1->map[i])
|
|
|
|
return set_disjoint;
|
|
|
|
for (; i < s2->size / BITS; i++)
|
|
|
|
if (s2->map[i])
|
|
|
|
return set_disjoint;
|
|
|
|
}
|
|
|
|
return rval;
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
set_is_disjoint (const set_t *s1, const set_t *s2)
|
|
|
|
{
|
|
|
|
return set_test (s1, s2) == set_disjoint;
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
set_is_intersecting (const set_t *s1, const set_t *s2)
|
|
|
|
{
|
|
|
|
return set_test (s1, s2) == set_intersecting;
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
set_is_equivalent (const set_t *s1, const set_t *s2)
|
|
|
|
{
|
|
|
|
return set_test (s1, s2) == set_equiv;
|
|
|
|
}
|
|
|
|
|
|
|
|
int
|
|
|
|
set_is_subset (const set_t *set, const set_t *sub)
|
|
|
|
{
|
|
|
|
unsigned i, end;
|
|
|
|
|
|
|
|
end = min (set->size, sub->size) / BITS;
|
|
|
|
for (i = 0; i < end; i++) {
|
|
|
|
if (sub->map[i] & ~set->map[i])
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
for (i = 0; i < sub->size / BITS; i++)
|
|
|
|
if (sub->map[i])
|
|
|
|
return 0;
|
|
|
|
return 1;
|
|
|
|
}
|
2012-10-30 10:58:19 +00:00
|
|
|
|
|
|
|
int
|
|
|
|
set_is_member (const set_t *set, unsigned x)
|
|
|
|
{
|
|
|
|
if (x >= set->size)
|
|
|
|
return 0;
|
|
|
|
return (set->map[x / BITS] & (1 << (x % BITS))) != 0;
|
|
|
|
}
|
2012-10-30 11:10:25 +00:00
|
|
|
|
2012-11-01 06:01:04 +00:00
|
|
|
unsigned
|
|
|
|
set_size (const set_t *set)
|
|
|
|
{
|
|
|
|
unsigned count = 0;
|
|
|
|
unsigned i;
|
|
|
|
|
|
|
|
for (i = 0; i < set->size; i++)
|
|
|
|
if (set_is_member (set, i))
|
|
|
|
count++;
|
|
|
|
return count;
|
|
|
|
}
|
|
|
|
|
2012-11-02 04:39:11 +00:00
|
|
|
set_iter_t *
|
2012-10-30 12:56:10 +00:00
|
|
|
set_first (const set_t *set)
|
2012-11-01 06:00:26 +00:00
|
|
|
{
|
|
|
|
unsigned x;
|
2012-11-02 04:39:11 +00:00
|
|
|
set_iter_t *set_iter;
|
2012-11-01 06:00:26 +00:00
|
|
|
|
|
|
|
for (x = 0; x < set->size; x++) {
|
|
|
|
if (set_is_member (set, x)) {
|
2012-11-02 04:39:11 +00:00
|
|
|
set_iter = new_setiter ();
|
|
|
|
set_iter->set = set;
|
|
|
|
set_iter->member = x;
|
|
|
|
return set_iter;
|
2012-11-01 06:00:26 +00:00
|
|
|
}
|
|
|
|
}
|
|
|
|
return 0;
|
|
|
|
}
|
|
|
|
|
2012-11-02 04:39:11 +00:00
|
|
|
set_iter_t *
|
|
|
|
set_next (set_iter_t *set_iter)
|
2012-10-30 12:56:10 +00:00
|
|
|
{
|
|
|
|
unsigned x;
|
|
|
|
|
2012-11-02 04:39:11 +00:00
|
|
|
for (x = set_iter->member + 1; x < set_iter->set->size; x++) {
|
|
|
|
if (set_is_member (set_iter->set, x)) {
|
|
|
|
set_iter->member = x;
|
|
|
|
return set_iter;
|
2012-11-01 06:00:26 +00:00
|
|
|
}
|
|
|
|
}
|
2012-11-02 04:39:11 +00:00
|
|
|
delete_setiter (set_iter);
|
2012-11-01 06:00:26 +00:00
|
|
|
return 0;
|
2012-10-30 12:56:10 +00:00
|
|
|
}
|
|
|
|
|
2012-10-30 11:10:25 +00:00
|
|
|
const char *
|
|
|
|
set_as_string (const set_t *set)
|
|
|
|
{
|
|
|
|
static dstring_t *str;
|
|
|
|
unsigned i;
|
|
|
|
|
|
|
|
if (!str)
|
|
|
|
str = dstring_new ();
|
|
|
|
dstring_clearstr (str);
|
|
|
|
for (i = 0; i < set->size; i++) {
|
|
|
|
if (set_is_member (set, i)) {
|
|
|
|
if (str->str[0])
|
|
|
|
dasprintf (str, " %d", i);
|
|
|
|
else
|
|
|
|
dsprintf (str, "%d", i);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
return str->str;
|
|
|
|
}
|