This commit is contained in:
Christoffer Lerno
2025-08-21 01:46:41 +02:00
parent a2ef63f5b6
commit 2e1f7c95ce
2 changed files with 7 additions and 1 deletions

View File

@@ -136,6 +136,7 @@ fn void BitSet.unset(&self, usz i)
@param i : "The index of the bit" @param i : "The index of the bit"
@require i < SIZE : "Index was out of range" @require i < SIZE : "Index was out of range"
@pure
*> *>
fn bool BitSet.get(&self, usz i) @operator([]) @inline fn bool BitSet.get(&self, usz i) @operator([]) @inline
{ {
@@ -144,6 +145,11 @@ fn bool BitSet.get(&self, usz i) @operator([]) @inline
return self.data[q] & (1 << r) != 0; return self.data[q] & (1 << r) != 0;
} }
<*
Return the number of bits.
@pure
*>
fn usz BitSet.len(&self) @operator(len) @inline fn usz BitSet.len(&self) @operator(len) @inline
{ {
return SZ * BITS; return SZ * BITS;

View File

@@ -138,7 +138,7 @@ fn String tformat(String fmt, args...) @format(0)
Check if a character is in a set. Check if a character is in a set.
@param c : `the character to check` @param c : `the character to check`
@param [in] set : `The formatting string` @param [in] set : `String containing the characters`
@pure @pure
@return `True if a character is in the set` @return `True if a character is in the set`
*> *>