2020-06-10 06:14:02 +00:00
|
|
|
/*
|
|
|
|
* Copyright © 2020 Benjamin Otte
|
|
|
|
*
|
|
|
|
* This library is free software; you can redistribute it and/or
|
|
|
|
* modify it under the terms of the GNU Lesser General Public
|
|
|
|
* License as published by the Free Software Foundation; either
|
|
|
|
* version 2.1 of the License, or (at your option) any later version.
|
|
|
|
*
|
|
|
|
* This library 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
|
|
|
|
* Lesser General Public License for more details.
|
|
|
|
*
|
|
|
|
* You should have received a copy of the GNU Lesser General Public
|
|
|
|
* License along with this library. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*
|
|
|
|
* Authors: Benjamin Otte <otte@gnome.org>
|
|
|
|
*/
|
|
|
|
|
|
|
|
#include "config.h"
|
|
|
|
|
|
|
|
#include "gtkbitset.h"
|
|
|
|
|
|
|
|
#include "roaring.c"
|
|
|
|
|
|
|
|
/**
|
|
|
|
* SECTION:gtkbitset
|
2020-06-28 01:53:57 +00:00
|
|
|
* @title: GtkBitset
|
|
|
|
* @short_description: Sets of integers
|
2020-07-17 00:27:00 +00:00
|
|
|
* @see_also: #GtkSelectionModel
|
2020-06-10 06:14:02 +00:00
|
|
|
*
|
|
|
|
* #GtkBitset is a data structure for representing a set of unsigned integers.
|
|
|
|
* Another name for this data structure is "bitmap".
|
|
|
|
*
|
2020-07-28 05:48:06 +00:00
|
|
|
* The current implementation is based on [roaring bitmaps](https://roaringbitmap.org/).
|
2020-06-10 06:14:02 +00:00
|
|
|
*
|
|
|
|
* A bitset allows adding a set of integers and provides support for set operations
|
|
|
|
* like unions, intersections and checks for equality or if a value is contained
|
|
|
|
* in the set. #GtkBitset also contains various functions to query metadata about
|
|
|
|
* the bitset, such as the minimum or maximum values or its size.
|
|
|
|
*
|
2020-07-17 00:27:00 +00:00
|
|
|
* The fastest way to iterate values in a bitset is #GtkBitsetIter.
|
2020-06-10 06:14:02 +00:00
|
|
|
*
|
2020-06-28 01:53:57 +00:00
|
|
|
* The main use case for #GtkBitset is implementing complex selections for
|
|
|
|
* #GtkSelectionModel.
|
2020-06-10 06:14:02 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
/**
|
|
|
|
* GtkBitset: (ref-func gtk_bitset_ref) (unref-func gtk_bitset_unref)
|
|
|
|
*
|
|
|
|
* The `GtkBitset` structure contains only private data.
|
|
|
|
*/
|
|
|
|
struct _GtkBitset
|
|
|
|
{
|
|
|
|
int ref_count;
|
|
|
|
roaring_bitmap_t roaring;
|
|
|
|
};
|
|
|
|
|
|
|
|
|
|
|
|
G_DEFINE_BOXED_TYPE (GtkBitset, gtk_bitset,
|
|
|
|
gtk_bitset_ref,
|
|
|
|
gtk_bitset_unref)
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_ref:
|
|
|
|
* @self: (allow-none): a #GtkBitset
|
|
|
|
*
|
|
|
|
* Acquires a reference on the given #GtkBitset.
|
|
|
|
*
|
|
|
|
* Returns: (transfer none): the #GtkBitset with an additional reference
|
|
|
|
*/
|
|
|
|
GtkBitset *
|
|
|
|
gtk_bitset_ref (GtkBitset *self)
|
|
|
|
{
|
|
|
|
g_return_val_if_fail (self != NULL, NULL);
|
|
|
|
|
|
|
|
self->ref_count += 1;
|
|
|
|
|
|
|
|
return self;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_unref:
|
|
|
|
* @self: (allow-none): a #GtkBitset
|
|
|
|
*
|
|
|
|
* Releases a reference on the given #GtkBitset.
|
|
|
|
*
|
|
|
|
* If the reference was the last, the resources associated to the @self are
|
|
|
|
* freed.
|
|
|
|
*/
|
|
|
|
void
|
|
|
|
gtk_bitset_unref (GtkBitset *self)
|
|
|
|
{
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
g_return_if_fail (self->ref_count > 0);
|
|
|
|
|
|
|
|
self->ref_count -= 1;
|
|
|
|
if (self->ref_count > 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
ra_clear (&self->roaring.high_low_container);
|
|
|
|
g_slice_free (GtkBitset, self);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_contains:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @value: the value to check
|
|
|
|
*
|
|
|
|
* Checks if the given @value has been added to @bitset
|
|
|
|
*
|
|
|
|
* Returns: %TRUE if @self contains @value
|
|
|
|
**/
|
|
|
|
gboolean
|
|
|
|
gtk_bitset_contains (const GtkBitset *self,
|
|
|
|
guint value)
|
|
|
|
{
|
|
|
|
g_return_val_if_fail (self != NULL, FALSE);
|
|
|
|
|
|
|
|
return roaring_bitmap_contains (&self->roaring, value);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_is_empty:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
*
|
|
|
|
* Check if no value is contained in bitset.
|
|
|
|
*
|
|
|
|
* Returns: %TRUE if @self is empty
|
|
|
|
**/
|
|
|
|
gboolean
|
|
|
|
gtk_bitset_is_empty (const GtkBitset *self)
|
|
|
|
{
|
|
|
|
g_return_val_if_fail (self != NULL, TRUE);
|
|
|
|
|
|
|
|
return roaring_bitmap_is_empty (&self->roaring);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_equals:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @other: another #GtkBitset
|
|
|
|
*
|
|
|
|
* Returns %TRUE if @self and @other contain the same values.
|
|
|
|
*
|
|
|
|
* Returns: %TRUE if @self and @other contain the same values
|
|
|
|
**/
|
|
|
|
gboolean
|
|
|
|
gtk_bitset_equals (const GtkBitset *self,
|
|
|
|
const GtkBitset *other)
|
|
|
|
{
|
|
|
|
g_return_val_if_fail (self != NULL, other == NULL);
|
|
|
|
g_return_val_if_fail (other != NULL, FALSE);
|
|
|
|
|
|
|
|
if (self == other)
|
|
|
|
return TRUE;
|
|
|
|
|
|
|
|
return roaring_bitmap_equals (&self->roaring, &other->roaring);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_get_minimum:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
*
|
|
|
|
* Returns the smallest value in @self. If @self is empty,
|
|
|
|
* G_MAXUINT is returned.
|
|
|
|
*
|
|
|
|
* Returns: The smallest value in @self
|
|
|
|
**/
|
|
|
|
guint
|
|
|
|
gtk_bitset_get_minimum (const GtkBitset *self)
|
|
|
|
{
|
|
|
|
g_return_val_if_fail (self != NULL, G_MAXUINT);
|
|
|
|
|
|
|
|
return roaring_bitmap_minimum (&self->roaring);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_get_maximum:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
*
|
|
|
|
* Returns the largest value in @self. If @self is empty,
|
|
|
|
* 0 is returned.
|
|
|
|
*
|
|
|
|
* Returns: The largest value in @self
|
|
|
|
**/
|
|
|
|
guint
|
|
|
|
gtk_bitset_get_maximum (const GtkBitset *self)
|
|
|
|
{
|
|
|
|
g_return_val_if_fail (self != NULL, 0);
|
|
|
|
|
|
|
|
return roaring_bitmap_maximum (&self->roaring);
|
|
|
|
}
|
|
|
|
|
2020-06-29 17:04:07 +00:00
|
|
|
/**
|
|
|
|
* gtk_bitset_get_size:
|
|
|
|
* @self: a #GtkBitSet
|
|
|
|
*
|
|
|
|
* Gets the number of values that were added to the set.
|
|
|
|
* For example, if the set is empty, 0 is returned.
|
|
|
|
*
|
|
|
|
* Note that this function returns a #guint64, because when all values are
|
|
|
|
* set, the return value is #G_MAXUINT + 1. Unless you are sure this cannot
|
|
|
|
* happen (it can't with #GListModel), be sure to use a 64bit type.
|
|
|
|
*
|
|
|
|
* Returns: The number of values in the set.
|
|
|
|
**/
|
|
|
|
guint64
|
|
|
|
gtk_bitset_get_size (const GtkBitset *self)
|
|
|
|
{
|
|
|
|
g_return_val_if_fail (self != NULL, 0);
|
|
|
|
|
|
|
|
return roaring_bitmap_get_cardinality (&self->roaring);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_get_size_in_range:
|
|
|
|
* @self: a #GtkBitSet
|
|
|
|
* @first: the first element to include
|
|
|
|
* @last: the last element to include
|
|
|
|
*
|
|
|
|
* Gets the number of values that are part of the set from @first to @last
|
|
|
|
* (inclusive).
|
|
|
|
*
|
|
|
|
* Note that this function returns a #guint64, because when all values are
|
|
|
|
* set, the return value is #G_MAXUINT + 1. Unless you are sure this cannot
|
|
|
|
* happen (it can't with #GListModel), be sure to use a 64bit type.
|
|
|
|
*
|
|
|
|
* Returns: The number of values in the set from @first to @last.
|
|
|
|
**/
|
|
|
|
guint64
|
|
|
|
gtk_bitset_get_size_in_range (const GtkBitset *self,
|
|
|
|
guint first,
|
|
|
|
guint last)
|
|
|
|
{
|
|
|
|
g_return_val_if_fail (self != NULL, 0);
|
|
|
|
g_return_val_if_fail (last >= first, 0);
|
|
|
|
|
|
|
|
return roaring_bitmap_range_cardinality (&self->roaring, first, ((uint64_t) last) + 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_get_nth:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @nth: index of the item to get
|
|
|
|
*
|
|
|
|
* Returns the value of the @nth item in self.
|
|
|
|
*
|
|
|
|
* If @nth is >= the size of @self, 0 is returned.
|
|
|
|
*
|
|
|
|
* Returns: the value of the @nth item in @self
|
|
|
|
**/
|
|
|
|
guint
|
|
|
|
gtk_bitset_get_nth (const GtkBitset *self,
|
|
|
|
guint nth)
|
|
|
|
{
|
|
|
|
uint32_t result;
|
|
|
|
|
|
|
|
if (!roaring_bitmap_select (&self->roaring, nth, &result))
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
return result;
|
|
|
|
}
|
|
|
|
|
2020-06-10 06:14:02 +00:00
|
|
|
/**
|
|
|
|
* gtk_bitset_new_empty:
|
|
|
|
*
|
|
|
|
* Creates a new empty bitset.
|
|
|
|
*
|
2020-06-30 01:29:22 +00:00
|
|
|
* Returns: A new empty bitset
|
2020-06-10 06:14:02 +00:00
|
|
|
**/
|
|
|
|
GtkBitset *
|
|
|
|
gtk_bitset_new_empty (void)
|
|
|
|
{
|
|
|
|
GtkBitset *self;
|
|
|
|
|
|
|
|
self = g_slice_new0 (GtkBitset);
|
|
|
|
|
|
|
|
self->ref_count = 1;
|
|
|
|
|
|
|
|
ra_init (&self->roaring.high_low_container);
|
|
|
|
|
|
|
|
return self;
|
|
|
|
}
|
|
|
|
|
2020-06-30 01:29:22 +00:00
|
|
|
/**
|
|
|
|
* gtk_bitset_new_range:
|
|
|
|
* @start: first value to add
|
|
|
|
* @n_items: number of consecutive values to add
|
|
|
|
*
|
|
|
|
* Creates a bitset with the given range set.
|
|
|
|
*
|
|
|
|
* Returns: A new bitset
|
|
|
|
**/
|
|
|
|
GtkBitset *
|
|
|
|
gtk_bitset_new_range (guint start,
|
|
|
|
guint n_items)
|
|
|
|
{
|
|
|
|
GtkBitset *self;
|
|
|
|
|
|
|
|
self = gtk_bitset_new_empty ();
|
|
|
|
|
|
|
|
gtk_bitset_add_range (self, start, n_items);
|
|
|
|
|
|
|
|
return self;
|
|
|
|
}
|
|
|
|
|
2020-06-10 06:14:02 +00:00
|
|
|
/**
|
|
|
|
* gtk_bitset_copy:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
*
|
|
|
|
* Creates a copy of @self.
|
|
|
|
*
|
2020-06-29 02:37:29 +00:00
|
|
|
* Returns: (transfer full): A new bitset that contains the same
|
2020-06-10 06:14:02 +00:00
|
|
|
* values as @self
|
|
|
|
**/
|
|
|
|
GtkBitset *
|
|
|
|
gtk_bitset_copy (const GtkBitset *self)
|
|
|
|
{
|
|
|
|
GtkBitset *copy;
|
|
|
|
|
|
|
|
g_return_val_if_fail (self != NULL, NULL);
|
|
|
|
|
|
|
|
copy = gtk_bitset_new_empty ();
|
|
|
|
roaring_bitmap_overwrite (©->roaring, &self->roaring);
|
|
|
|
|
|
|
|
return copy;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_remove_all:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
*
|
|
|
|
* Removes all values from the bitset so that it is empty again.
|
|
|
|
**/
|
|
|
|
void
|
|
|
|
gtk_bitset_remove_all (GtkBitset *self)
|
|
|
|
{
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
|
|
|
|
roaring_bitmap_clear (&self->roaring);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_add:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @value: value to add
|
|
|
|
*
|
|
|
|
* Adds @value to @self if it wasn't part of it before.
|
|
|
|
*
|
|
|
|
* Returns: %TRUE if @value was not part of @self and @self
|
|
|
|
* was changed.
|
|
|
|
**/
|
|
|
|
gboolean
|
|
|
|
gtk_bitset_add (GtkBitset *self,
|
|
|
|
guint value)
|
|
|
|
{
|
|
|
|
g_return_val_if_fail (self != NULL, FALSE);
|
|
|
|
|
|
|
|
return roaring_bitmap_add_checked (&self->roaring, value);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_remove:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @value: value to add
|
|
|
|
*
|
2020-06-28 01:53:57 +00:00
|
|
|
* Removes @value from @self if it was part of it before.
|
2020-06-10 06:14:02 +00:00
|
|
|
*
|
|
|
|
* Returns: %TRUE if @value was part of @self and @self
|
|
|
|
* was changed.
|
|
|
|
**/
|
|
|
|
gboolean
|
|
|
|
gtk_bitset_remove (GtkBitset *self,
|
|
|
|
guint value)
|
|
|
|
{
|
|
|
|
g_return_val_if_fail (self != NULL, FALSE);
|
|
|
|
|
|
|
|
return roaring_bitmap_remove_checked (&self->roaring, value);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_add_range:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @start: first value to add
|
|
|
|
* @n_items: number of consecutive values to add
|
|
|
|
*
|
2020-06-28 01:53:57 +00:00
|
|
|
* Adds all values from @start (inclusive) to @start + @n_items
|
|
|
|
* (exclusive) in @self.
|
2020-06-10 06:14:02 +00:00
|
|
|
**/
|
|
|
|
void
|
|
|
|
gtk_bitset_add_range (GtkBitset *self,
|
|
|
|
guint start,
|
|
|
|
guint n_items)
|
|
|
|
{
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
|
|
|
|
if (n_items == 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
/* overflow check, the == 0 is to allow add_range(G_MAXUINT, 1); */
|
|
|
|
g_return_if_fail (start + n_items == 0 || start + n_items > start);
|
|
|
|
|
|
|
|
roaring_bitmap_add_range_closed (&self->roaring, start, start + n_items - 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_remove_range:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @start: first value to remove
|
|
|
|
* @n_items: number of consecutive values to remove
|
|
|
|
*
|
|
|
|
* Removes all values from @start (inclusive) to @start + @n_items (exclusive)
|
|
|
|
* in @self.
|
|
|
|
**/
|
|
|
|
void
|
|
|
|
gtk_bitset_remove_range (GtkBitset *self,
|
|
|
|
guint start,
|
|
|
|
guint n_items)
|
|
|
|
{
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
|
|
|
|
if (n_items == 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
/* overflow check, the == 0 is to allow add_range(G_MAXUINT, 1); */
|
|
|
|
g_return_if_fail (start + n_items == 0 || start + n_items > start);
|
|
|
|
|
|
|
|
roaring_bitmap_remove_range_closed (&self->roaring, start, start + n_items - 1);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_add_range_closed:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @first: first value to add
|
|
|
|
* @last: last value to add
|
|
|
|
*
|
2020-06-28 01:53:57 +00:00
|
|
|
* Adds the closed range [@first, @last], so @first, @last and all
|
|
|
|
* values inbetween. @first must be smaller than @last.
|
2020-06-10 06:14:02 +00:00
|
|
|
**/
|
|
|
|
void
|
|
|
|
gtk_bitset_add_range_closed (GtkBitset *self,
|
|
|
|
guint first,
|
|
|
|
guint last)
|
|
|
|
{
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
g_return_if_fail (first <= last);
|
|
|
|
|
|
|
|
roaring_bitmap_add_range_closed (&self->roaring, first, last);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_remove_range_closed:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @first: first value to remove
|
|
|
|
* @last: last value to remove
|
|
|
|
*
|
2020-06-28 01:53:57 +00:00
|
|
|
* Removes the closed range [@first, @last], so @first, @last and all
|
|
|
|
* values inbetween. @first must be smaller than @last.
|
2020-06-10 06:14:02 +00:00
|
|
|
**/
|
|
|
|
void
|
|
|
|
gtk_bitset_remove_range_closed (GtkBitset *self,
|
|
|
|
guint first,
|
|
|
|
guint last)
|
|
|
|
{
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
g_return_if_fail (first <= last);
|
|
|
|
|
|
|
|
roaring_bitmap_remove_range_closed (&self->roaring, first, last);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_add_rectangle:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @start: first value to add
|
|
|
|
* @width: width of the rectangle
|
|
|
|
* @height: height of the rectangle
|
2020-06-28 01:53:57 +00:00
|
|
|
* @stride: row stride of the grid
|
2020-06-10 06:14:02 +00:00
|
|
|
*
|
|
|
|
* Interprets the values as a 2-dimensional boolean grid with the given @stride
|
|
|
|
* and inside that grid, adds a rectangle with the given @width and @height.
|
|
|
|
**/
|
|
|
|
void
|
|
|
|
gtk_bitset_add_rectangle (GtkBitset *self,
|
|
|
|
guint start,
|
|
|
|
guint width,
|
|
|
|
guint height,
|
|
|
|
guint stride)
|
|
|
|
{
|
|
|
|
guint i;
|
|
|
|
|
|
|
|
g_return_if_fail (self != NULL);
|
2020-06-29 01:28:47 +00:00
|
|
|
g_return_if_fail ((start % stride) + width <= stride);
|
2020-06-10 06:14:02 +00:00
|
|
|
g_return_if_fail (G_MAXUINT - start >= height * stride);
|
|
|
|
|
|
|
|
if (width == 0 || height == 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
for (i = 0; i < height; i++)
|
|
|
|
gtk_bitset_add_range (self, i * stride + start, width);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_remove_rectangle:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @start: first value to remove
|
|
|
|
* @width: width of the rectangle
|
|
|
|
* @height: height of the rectangle
|
2020-06-28 01:53:57 +00:00
|
|
|
* @stride: row stride of the grid
|
2020-06-10 06:14:02 +00:00
|
|
|
*
|
|
|
|
* Interprets the values as a 2-dimensional boolean grid with the given @stride
|
|
|
|
* and inside that grid, removes a rectangle with the given @width and @height.
|
|
|
|
**/
|
|
|
|
void
|
|
|
|
gtk_bitset_remove_rectangle (GtkBitset *self,
|
|
|
|
guint start,
|
|
|
|
guint width,
|
|
|
|
guint height,
|
|
|
|
guint stride)
|
|
|
|
{
|
|
|
|
guint i;
|
|
|
|
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
g_return_if_fail (width <= stride);
|
|
|
|
g_return_if_fail (G_MAXUINT - start >= height * stride);
|
|
|
|
|
|
|
|
if (width == 0 || height == 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
for (i = 0; i < height; i++)
|
|
|
|
gtk_bitset_remove_range (self, i * stride + start, width);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_union:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @other: the #GtkBitset to union with
|
|
|
|
*
|
|
|
|
* Sets @self to be the union of @self and @other, that is add all values
|
|
|
|
* from @other into @self that weren't part of it.
|
|
|
|
*
|
|
|
|
* It is allowed for @self and @other to be the same bitset. Nothing will
|
|
|
|
* happen in that case.
|
|
|
|
**/
|
|
|
|
void
|
|
|
|
gtk_bitset_union (GtkBitset *self,
|
|
|
|
const GtkBitset *other)
|
|
|
|
{
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
g_return_if_fail (other != NULL);
|
|
|
|
|
|
|
|
if (self == other)
|
|
|
|
return;
|
|
|
|
|
|
|
|
roaring_bitmap_or_inplace (&self->roaring, &other->roaring);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_intersect:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @other: the #GtkBitset to intersect with
|
|
|
|
*
|
2020-06-28 01:53:57 +00:00
|
|
|
* Sets @self to be the intersection of @self and @other, that is remove
|
|
|
|
* all values from @self that are not part of @other.
|
2020-06-10 06:14:02 +00:00
|
|
|
*
|
|
|
|
* It is allowed for @self and @other to be the same bitset. Nothing will
|
|
|
|
* happen in that case.
|
|
|
|
**/
|
|
|
|
void
|
|
|
|
gtk_bitset_intersect (GtkBitset *self,
|
|
|
|
const GtkBitset *other)
|
|
|
|
{
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
g_return_if_fail (other != NULL);
|
|
|
|
|
|
|
|
if (self == other)
|
|
|
|
return;
|
|
|
|
|
|
|
|
roaring_bitmap_and_inplace (&self->roaring, &other->roaring);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_subtract:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @other: the #GtkBitset to subtract
|
|
|
|
*
|
|
|
|
* Sets @self to be the subtraction of @other from @self, that is remove
|
|
|
|
* all values from @self that are part of @other.
|
|
|
|
*
|
|
|
|
* It is allowed for @self and @other to be the same bitset. The bitset
|
|
|
|
* will be emptied in that case.
|
|
|
|
**/
|
|
|
|
void
|
|
|
|
gtk_bitset_subtract (GtkBitset *self,
|
|
|
|
const GtkBitset *other)
|
|
|
|
{
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
g_return_if_fail (other != NULL);
|
|
|
|
|
|
|
|
if (self == other)
|
|
|
|
{
|
|
|
|
roaring_bitmap_clear (&self->roaring);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
roaring_bitmap_andnot_inplace (&self->roaring, &other->roaring);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_difference:
|
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @other: the #GtkBitset to compute the difference from
|
|
|
|
*
|
|
|
|
* Sets @self to be the symmetric difference of @self and @other, that
|
|
|
|
* is set @self to contain all values that were either contained in @self
|
|
|
|
* or in @other, but not in both.
|
|
|
|
* This operation is also called an XOR.
|
|
|
|
*
|
|
|
|
* It is allowed for @self and @other to be the same bitset. The bitset
|
|
|
|
* will be emptied in that case.
|
|
|
|
**/
|
|
|
|
void
|
|
|
|
gtk_bitset_difference (GtkBitset *self,
|
|
|
|
const GtkBitset *other)
|
|
|
|
{
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
g_return_if_fail (other != NULL);
|
|
|
|
|
|
|
|
if (self == other)
|
|
|
|
{
|
|
|
|
roaring_bitmap_clear (&self->roaring);
|
|
|
|
return;
|
|
|
|
}
|
|
|
|
|
|
|
|
roaring_bitmap_xor_inplace (&self->roaring, &other->roaring);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_shift_left:
|
|
|
|
* @self: a $GtkBitset
|
|
|
|
* @amount: amount to shift all values to the left
|
|
|
|
*
|
|
|
|
* Shifts all values in @self to the left by @amount. Values
|
|
|
|
* smaller than @amount are discarded.
|
|
|
|
**/
|
|
|
|
void
|
|
|
|
gtk_bitset_shift_left (GtkBitset *self,
|
|
|
|
guint amount)
|
|
|
|
{
|
|
|
|
GtkBitset *original;
|
|
|
|
GtkBitsetIter iter;
|
|
|
|
guint value;
|
|
|
|
gboolean loop;
|
|
|
|
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
|
|
|
|
if (amount == 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
original = gtk_bitset_copy (self);
|
|
|
|
gtk_bitset_remove_all (self);
|
|
|
|
|
|
|
|
for (loop = gtk_bitset_iter_init_at (&iter, original, amount, &value);
|
|
|
|
loop;
|
|
|
|
loop = gtk_bitset_iter_next (&iter, &value))
|
|
|
|
{
|
|
|
|
gtk_bitset_add (self, value - amount);
|
|
|
|
}
|
|
|
|
|
|
|
|
gtk_bitset_unref (original);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2020-06-28 01:53:57 +00:00
|
|
|
* gtk_bitset_shift_right:
|
2020-06-10 06:14:02 +00:00
|
|
|
* @self: a $GtkBitset
|
|
|
|
* @amount: amount to shift all values to the right
|
|
|
|
*
|
|
|
|
* Shifts all values in @self to the right by @amount. Values
|
|
|
|
* that end up too large to be held in a #guint are discarded.
|
|
|
|
**/
|
|
|
|
void
|
|
|
|
gtk_bitset_shift_right (GtkBitset *self,
|
|
|
|
guint amount)
|
|
|
|
{
|
|
|
|
GtkBitset *original;
|
|
|
|
GtkBitsetIter iter;
|
|
|
|
guint value;
|
|
|
|
gboolean loop;
|
|
|
|
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
|
|
|
|
if (amount == 0)
|
|
|
|
return;
|
|
|
|
|
|
|
|
original = gtk_bitset_copy (self);
|
|
|
|
gtk_bitset_remove_all (self);
|
|
|
|
|
2020-06-28 20:36:03 +00:00
|
|
|
for (loop = gtk_bitset_iter_init_first (&iter, original, &value);
|
|
|
|
loop && value <= G_MAXUINT - amount;
|
2020-06-10 06:14:02 +00:00
|
|
|
loop = gtk_bitset_iter_next (&iter, &value))
|
|
|
|
{
|
|
|
|
gtk_bitset_add (self, value + amount);
|
|
|
|
}
|
|
|
|
|
|
|
|
gtk_bitset_unref (original);
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
2020-07-06 01:41:12 +00:00
|
|
|
* gtk_bitset_splice:
|
2020-06-10 06:14:02 +00:00
|
|
|
* @self: a #GtkBitset
|
|
|
|
* @position: position at which to slice
|
|
|
|
* @removed: number of values to remove
|
|
|
|
* @added: number of values to add
|
|
|
|
*
|
|
|
|
* This is a support function for #GListModel handling, by mirroring
|
|
|
|
* the #GlistModel::items-changed signal.
|
|
|
|
*
|
|
|
|
* First, it "cuts" the values from @position to @removed from
|
|
|
|
* the bitset. That is, it removes all those values and shifts
|
|
|
|
* all larger values to the left by @removed places.
|
|
|
|
*
|
|
|
|
* Then, it "pastes" new room into the bitset by shifting all values
|
|
|
|
* larger than @position by @added spaces to the right. This frees
|
2020-06-28 01:53:57 +00:00
|
|
|
* up space that can then be filled.
|
2020-06-10 06:14:02 +00:00
|
|
|
**/
|
|
|
|
void
|
2020-07-06 01:41:12 +00:00
|
|
|
gtk_bitset_splice (GtkBitset *self,
|
|
|
|
guint position,
|
|
|
|
guint removed,
|
|
|
|
guint added)
|
2020-06-10 06:14:02 +00:00
|
|
|
{
|
|
|
|
g_return_if_fail (self != NULL);
|
|
|
|
/* overflow */
|
|
|
|
g_return_if_fail (position + removed >= position);
|
|
|
|
g_return_if_fail (position + added >= position);
|
|
|
|
|
|
|
|
gtk_bitset_remove_range (self, position, removed);
|
|
|
|
|
|
|
|
if (removed != added)
|
|
|
|
{
|
|
|
|
GtkBitset *shift = gtk_bitset_copy (self);
|
|
|
|
|
|
|
|
gtk_bitset_remove_range (shift, 0, position);
|
2020-07-06 01:35:17 +00:00
|
|
|
gtk_bitset_remove_range_closed (self, position, G_MAXUINT);
|
2020-06-10 06:14:02 +00:00
|
|
|
if (added > removed)
|
|
|
|
gtk_bitset_shift_right (shift, added - removed);
|
|
|
|
else
|
|
|
|
gtk_bitset_shift_left (shift, removed - added);
|
|
|
|
gtk_bitset_union (self, shift);
|
|
|
|
gtk_bitset_unref (shift);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
G_STATIC_ASSERT (sizeof (GtkBitsetIter) >= sizeof (roaring_uint32_iterator_t));
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_iter_init_first:
|
2020-06-29 01:28:47 +00:00
|
|
|
* @iter: (out): a pointer to an uninitialized #GtkBitsetIter
|
2020-06-10 06:14:02 +00:00
|
|
|
* @set: a #GtkBitset
|
|
|
|
* @value: (out) (optional): Set to the first value in @set
|
|
|
|
*
|
|
|
|
* Initializes an iterator for @set and points it to the first
|
2020-06-28 01:53:57 +00:00
|
|
|
* value in @set. If @set is empty, %FALSE is returned and @value
|
|
|
|
* is set to %G_MAXUINT.
|
2020-06-10 06:14:02 +00:00
|
|
|
*
|
2020-06-28 01:53:57 +00:00
|
|
|
* Returns: %TRUE if @set isn't empty.
|
2020-06-10 06:14:02 +00:00
|
|
|
**/
|
|
|
|
gboolean
|
|
|
|
gtk_bitset_iter_init_first (GtkBitsetIter *iter,
|
|
|
|
const GtkBitset *set,
|
|
|
|
guint *value)
|
|
|
|
{
|
|
|
|
roaring_uint32_iterator_t *riter = (roaring_uint32_iterator_t *) iter;
|
|
|
|
|
|
|
|
g_return_val_if_fail (iter != NULL, FALSE);
|
|
|
|
g_return_val_if_fail (set != NULL, FALSE);
|
|
|
|
|
|
|
|
roaring_init_iterator (&set->roaring, riter);
|
|
|
|
|
|
|
|
if (value)
|
|
|
|
*value = riter->has_value ? riter->current_value : 0;
|
|
|
|
|
|
|
|
return riter->has_value;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_iter_init_last:
|
2020-06-29 01:28:47 +00:00
|
|
|
* @iter: (out): a pointer to an uninitialized #GtkBitsetIter
|
2020-06-10 06:14:02 +00:00
|
|
|
* @set: a #GtkBitset
|
|
|
|
* @value: (out) (optional): Set to the last value in @set
|
|
|
|
*
|
|
|
|
* Initializes an iterator for @set and points it to the last
|
|
|
|
* value in @set. If @set is empty, %FALSE is returned.
|
|
|
|
*
|
2020-06-28 01:53:57 +00:00
|
|
|
* Returns: %TRUE if @set isn't empty.
|
2020-06-10 06:14:02 +00:00
|
|
|
**/
|
|
|
|
gboolean
|
|
|
|
gtk_bitset_iter_init_last (GtkBitsetIter *iter,
|
|
|
|
const GtkBitset *set,
|
|
|
|
guint *value)
|
|
|
|
{
|
|
|
|
roaring_uint32_iterator_t *riter = (roaring_uint32_iterator_t *) iter;
|
|
|
|
|
|
|
|
g_return_val_if_fail (iter != NULL, FALSE);
|
|
|
|
g_return_val_if_fail (set != NULL, FALSE);
|
|
|
|
|
|
|
|
roaring_init_iterator_last (&set->roaring, riter);
|
|
|
|
|
|
|
|
if (value)
|
|
|
|
*value = riter->has_value ? riter->current_value : 0;
|
|
|
|
|
|
|
|
return riter->has_value;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_iter_init_at:
|
2020-06-29 01:28:47 +00:00
|
|
|
* @iter: (out): a pointer to an uninitialized #GtkBitsetIter
|
2020-06-28 01:53:57 +00:00
|
|
|
* @set: a #GtkBitset
|
2020-06-10 06:14:02 +00:00
|
|
|
* @target: target value to start iterating at
|
|
|
|
* @value: (out) (optional): Set to the found value in @set
|
|
|
|
*
|
|
|
|
* Initializes @iter to point to @target. If @target is not found, finds
|
|
|
|
* the next value after it. If no value >= @target exists in @set, this
|
|
|
|
* function returns %FALSE.
|
|
|
|
*
|
|
|
|
* Returns: %TRUE if a value was found.
|
|
|
|
**/
|
|
|
|
gboolean
|
|
|
|
gtk_bitset_iter_init_at (GtkBitsetIter *iter,
|
|
|
|
const GtkBitset *set,
|
|
|
|
guint target,
|
|
|
|
guint *value)
|
|
|
|
{
|
|
|
|
roaring_uint32_iterator_t *riter = (roaring_uint32_iterator_t *) iter;
|
|
|
|
|
|
|
|
g_return_val_if_fail (iter != NULL, FALSE);
|
|
|
|
g_return_val_if_fail (set != NULL, FALSE);
|
|
|
|
|
|
|
|
roaring_init_iterator (&set->roaring, riter);
|
|
|
|
if (!roaring_move_uint32_iterator_equalorlarger (riter, target))
|
|
|
|
{
|
|
|
|
if (value)
|
|
|
|
*value = 0;
|
|
|
|
return FALSE;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (value)
|
|
|
|
*value = riter->current_value;
|
|
|
|
|
|
|
|
return TRUE;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_iter_next:
|
2020-06-28 01:53:57 +00:00
|
|
|
* @iter: a pointer to a valid #GtkBitsetIter
|
2020-06-10 06:14:02 +00:00
|
|
|
* @value: (out) (optional): Set to the next value
|
|
|
|
*
|
|
|
|
* Moves @iter to the next value in the set. If it was already
|
|
|
|
* pointing to the last value in the set, %FALSE is returned and
|
|
|
|
* @iter is invalidated.
|
|
|
|
*
|
|
|
|
* Returns: %TRUE if a next value existed
|
|
|
|
**/
|
|
|
|
gboolean
|
|
|
|
gtk_bitset_iter_next (GtkBitsetIter *iter,
|
|
|
|
guint *value)
|
|
|
|
{
|
|
|
|
roaring_uint32_iterator_t *riter = (roaring_uint32_iterator_t *) iter;
|
|
|
|
|
|
|
|
g_return_val_if_fail (iter != NULL, FALSE);
|
|
|
|
|
|
|
|
if (!roaring_advance_uint32_iterator (riter))
|
|
|
|
{
|
|
|
|
if (value)
|
|
|
|
*value = 0;
|
|
|
|
return FALSE;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (value)
|
|
|
|
*value = riter->current_value;
|
|
|
|
|
|
|
|
return TRUE;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_iter_previous:
|
2020-06-28 01:53:57 +00:00
|
|
|
* @iter: a pointer to a valid #GtkBitsetIter
|
2020-06-10 06:14:02 +00:00
|
|
|
* @value: (out) (optional): Set to the previous value
|
|
|
|
*
|
|
|
|
* Moves @iter to the previous value in the set. If it was already
|
|
|
|
* pointing to the first value in the set, %FALSE is returned and
|
|
|
|
* @iter is invalidated.
|
|
|
|
*
|
|
|
|
* Returns: %TRUE if a previous value existed
|
|
|
|
**/
|
|
|
|
gboolean
|
|
|
|
gtk_bitset_iter_previous (GtkBitsetIter *iter,
|
|
|
|
guint *value)
|
|
|
|
{
|
|
|
|
roaring_uint32_iterator_t *riter = (roaring_uint32_iterator_t *) iter;
|
|
|
|
|
|
|
|
g_return_val_if_fail (iter != NULL, FALSE);
|
|
|
|
|
|
|
|
if (!roaring_previous_uint32_iterator (riter))
|
|
|
|
{
|
|
|
|
if (value)
|
|
|
|
*value = 0;
|
|
|
|
return FALSE;
|
|
|
|
}
|
|
|
|
|
|
|
|
if (value)
|
|
|
|
*value = riter->current_value;
|
|
|
|
|
|
|
|
return TRUE;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_iter_get_value:
|
|
|
|
* @iter: a #GtkBitsetIter
|
|
|
|
*
|
|
|
|
* Gets the current value that @iter points to.
|
|
|
|
*
|
|
|
|
* If @iter is not valid and gtk_bitset_iter_is_valid() returns
|
|
|
|
* %FALSE, this function returns 0.
|
|
|
|
*
|
|
|
|
* Returns: The current value pointer to by @iter
|
|
|
|
**/
|
|
|
|
guint
|
|
|
|
gtk_bitset_iter_get_value (const GtkBitsetIter *iter)
|
|
|
|
{
|
|
|
|
roaring_uint32_iterator_t *riter = (roaring_uint32_iterator_t *) iter;
|
|
|
|
|
|
|
|
g_return_val_if_fail (iter != NULL, 0);
|
|
|
|
|
|
|
|
if (!riter->has_value)
|
|
|
|
return 0;
|
|
|
|
|
|
|
|
return riter->current_value;
|
|
|
|
}
|
|
|
|
|
|
|
|
/**
|
|
|
|
* gtk_bitset_iter_is_valid:
|
|
|
|
* @iter: a #GtkBitsetIter
|
|
|
|
*
|
2020-06-29 01:28:47 +00:00
|
|
|
* Checks if @iter points to a valid value.
|
2020-06-10 06:14:02 +00:00
|
|
|
*
|
|
|
|
* Returns: %TRUE if @iter points to a valid value
|
|
|
|
**/
|
|
|
|
gboolean
|
|
|
|
gtk_bitset_iter_is_valid (const GtkBitsetIter *iter)
|
|
|
|
{
|
|
|
|
roaring_uint32_iterator_t *riter = (roaring_uint32_iterator_t *) iter;
|
|
|
|
|
|
|
|
g_return_val_if_fail (iter != NULL, FALSE);
|
|
|
|
|
|
|
|
return riter->has_value;
|
|
|
|
}
|