mirror of
https://github.com/c3lang/c3c.git
synced 2026-02-27 20:11:17 +00:00
251 lines
4.8 KiB
Plaintext
251 lines
4.8 KiB
Plaintext
// Copyright (c) 2023-2025 C3 team. All rights reserved.
|
|
// Use of self source code is governed by the MIT license
|
|
// a copy of which can be found in the LICENSE_STDLIB file.
|
|
<*
|
|
@require SIZE > 0 : "The size of the bitset in bits must be at least 1"
|
|
*>
|
|
module std::collections::bitset {SIZE};
|
|
|
|
const BITS = uint.sizeof * 8;
|
|
const SZ = (SIZE + BITS - 1) / BITS;
|
|
|
|
struct BitSet
|
|
{
|
|
uint[SZ] data;
|
|
}
|
|
|
|
<*
|
|
@return "The number of bits set"
|
|
*>
|
|
fn usz BitSet.cardinality(&self)
|
|
{
|
|
usz n;
|
|
foreach (x : self.data)
|
|
{
|
|
n += x.popcount();
|
|
}
|
|
return n;
|
|
}
|
|
|
|
<*
|
|
Set a bit in the bitset.
|
|
|
|
@param i : "The index to set"
|
|
|
|
@require i < SIZE : "Index was out of range"
|
|
*>
|
|
fn void BitSet.set(&self, usz i)
|
|
{
|
|
usz q = i / BITS;
|
|
usz r = i % BITS;
|
|
self.data[q] |= 1 << r;
|
|
}
|
|
|
|
<*
|
|
Perform xor over all bits, mutating itself
|
|
|
|
@param set : "The bit set to xor with"
|
|
@return "The resulting bit set"
|
|
*>
|
|
macro BitSet BitSet.xor_self(&self, BitSet set) @operator(^=)
|
|
{
|
|
foreach (i, &x : self.data) *x ^= set.data[i];
|
|
return *self;
|
|
}
|
|
|
|
<*
|
|
Perform xor over all bits, returning a new bit set.
|
|
|
|
@param set : "The bit set to xor with"
|
|
@return "The resulting bit set"
|
|
*>
|
|
fn BitSet BitSet.xor(&self, BitSet set) @operator(^)
|
|
{
|
|
BitSet new_set @noinit;
|
|
foreach (i, x : self.data) new_set.data[i] = x ^ set.data[i];
|
|
return new_set;
|
|
}
|
|
|
|
<*
|
|
Perform or over all bits, returning a new bit set.
|
|
|
|
@param set : "The bit set to xor with"
|
|
@return "The resulting bit set"
|
|
*>
|
|
fn BitSet BitSet.or(&self, BitSet set) @operator(|)
|
|
{
|
|
BitSet new_set @noinit;
|
|
foreach (i, x : self.data) new_set.data[i] = x | set.data[i];
|
|
return new_set;
|
|
}
|
|
|
|
<*
|
|
Perform or over all bits, mutating itself
|
|
|
|
@param set : "The bit set to xor with"
|
|
@return "The resulting bit set"
|
|
*>
|
|
macro BitSet BitSet.or_self(&self, BitSet set) @operator(|=)
|
|
{
|
|
foreach (i, &x : self.data) *x |= set.data[i];
|
|
return *self;
|
|
}
|
|
|
|
<*
|
|
Perform & over all bits, returning a new bit set.
|
|
|
|
@param set : "The bit set to xor with"
|
|
@return "The resulting bit set"
|
|
*>
|
|
fn BitSet BitSet.and(&self, BitSet set) @operator(&)
|
|
{
|
|
BitSet new_set @noinit;
|
|
foreach (i, x : self.data) new_set.data[i] = x & set.data[i];
|
|
return new_set;
|
|
}
|
|
|
|
<*
|
|
Perform & over all bits, mutating itself.
|
|
|
|
@param set : "The bit set to xor with"
|
|
@return "The resulting bit set"
|
|
*>
|
|
macro BitSet BitSet.and_self(&self, BitSet set) @operator(&=)
|
|
{
|
|
foreach (i, &x : self.data) *x &= set.data[i];
|
|
return *self;
|
|
}
|
|
|
|
<*
|
|
Unset (clear) a bit in the bitset.
|
|
|
|
@param i : "The index to set"
|
|
|
|
@require i < SIZE : "Index was out of range"
|
|
*>
|
|
fn void BitSet.unset(&self, usz i)
|
|
{
|
|
usz q = i / BITS;
|
|
usz r = i % BITS;
|
|
self.data[q] &= ~(1 << r);
|
|
}
|
|
|
|
<*
|
|
Get a particular bit in the bitset
|
|
|
|
@param i : "The index of the bit"
|
|
|
|
@require i < SIZE : "Index was out of range"
|
|
*>
|
|
fn bool BitSet.get(&self, usz i) @operator([]) @inline
|
|
{
|
|
usz q = i / BITS;
|
|
usz r = i % BITS;
|
|
return self.data[q] & (1 << r) != 0;
|
|
}
|
|
|
|
fn usz BitSet.len(&self) @operator(len) @inline
|
|
{
|
|
return SZ * BITS;
|
|
}
|
|
|
|
<*
|
|
Change a particular bit in the bitset
|
|
|
|
@param i : "The index of the bit"
|
|
@param value : "The value to set the bit to"
|
|
|
|
@require i < SIZE : "Index was out of range"
|
|
*>
|
|
fn void BitSet.set_bool(&self, usz i, bool value) @operator([]=) @inline
|
|
{
|
|
if (value) return self.set(i);
|
|
self.unset(i);
|
|
}
|
|
|
|
<*
|
|
@require Type.kindof == UNSIGNED_INT
|
|
*>
|
|
module std::collections::growablebitset{Type};
|
|
import std::collections::list;
|
|
|
|
const BITS = Type.sizeof * 8;
|
|
|
|
alias GrowableBitSetList = List{Type};
|
|
|
|
struct GrowableBitSet
|
|
{
|
|
GrowableBitSetList data;
|
|
}
|
|
|
|
<*
|
|
@param initial_capacity
|
|
@param [&inout] allocator : "The allocator to use, defaults to the heap allocator"
|
|
*>
|
|
fn GrowableBitSet* GrowableBitSet.init(&self, Allocator allocator, usz initial_capacity = 1)
|
|
{
|
|
self.data.init(allocator, initial_capacity);
|
|
return self;
|
|
}
|
|
|
|
fn GrowableBitSet* GrowableBitSet.tinit(&self, usz initial_capacity = 1)
|
|
{
|
|
return self.init(tmem, initial_capacity) @inline;
|
|
}
|
|
|
|
fn void GrowableBitSet.free(&self)
|
|
{
|
|
self.data.free();
|
|
}
|
|
|
|
fn usz GrowableBitSet.cardinality(&self)
|
|
{
|
|
usz n;
|
|
foreach (x : self.data)
|
|
{
|
|
n += x.popcount();
|
|
}
|
|
return n;
|
|
}
|
|
|
|
fn void GrowableBitSet.set(&self, usz i)
|
|
{
|
|
usz q = i / BITS;
|
|
usz r = i % BITS;
|
|
usz current_len = self.data.len();
|
|
while (q >= current_len)
|
|
{
|
|
self.data.push(0);
|
|
current_len++;
|
|
}
|
|
self.data.set(q, self.data[q] | (1 << r));
|
|
}
|
|
|
|
fn void GrowableBitSet.unset(&self, usz i)
|
|
{
|
|
usz q = i / BITS;
|
|
usz r = i % BITS;
|
|
if (q >= self.data.len()) return;
|
|
self.data.set(q, self.data[q] &~ (1 << r));
|
|
}
|
|
|
|
fn bool GrowableBitSet.get(&self, usz i) @operator([]) @inline
|
|
{
|
|
usz q = i / BITS;
|
|
usz r = i % BITS;
|
|
if (q >= self.data.len()) return false;
|
|
return self.data[q] & (1 << r) != 0;
|
|
}
|
|
|
|
fn usz GrowableBitSet.len(&self) @operator(len)
|
|
{
|
|
usz n = self.data.len() * BITS;
|
|
if (n > 0) n -= (usz)self.data[^1].clz();
|
|
return n;
|
|
}
|
|
|
|
fn void GrowableBitSet.set_bool(&self, usz i, bool value) @operator([]=) @inline
|
|
{
|
|
if (value) return self.set(i);
|
|
self.unset(i);
|
|
} |