Struct BitsetDomain 

pub struct BitsetDomain { /* private fields */ }

A domain backed by a 128-bit bitmask.

Values must be non-negative integers in the range 0..128. All operations are O(1) via bitwise arithmetic and popcount. Isomorphic to the Python BitsetDomain.

Implementations

impl BitsetDomain

pub fn new(values: impl IntoIterator<Item = u32>) -> Self

Create a new bitset domain from an iterator of values.

Panics

Panics if any value is >= 128. This is a release-mode assert!, not a debug_assert! (R7): a bare 1u128 << v with v >= 128 does not fault in release — Rust masks the shift to v % 128, silently aliasing out-of-range values onto valid bits. Since new/range are reachable from the published py/wasm bindings with caller-supplied values, the 0..128 invariant must fail loudly in every build. Both are construction-time (not hot), so the branch is free; see add for the hot-path rationale.

pub fn empty() -> Self

Create an empty bitset domain.

pub fn range(n: u32) -> Self

Create a domain containing 0..n.

Panics

Panics if n > 128 (release-mode; see BitsetDomain::new for the R7 rationale — (1u128 << n) - 1 masks n to n % 128 in release, silently truncating the range).

pub fn bits(&self) -> u128

Raw bits access.

pub fn union_with(&mut self, other: &Self)

Union with another bitset domain.

pub fn intersect_with(&mut self, other: &Self)

Intersection with another bitset domain.

pub fn difference_with(&mut self, other: &Self)

Difference: remove all values present in other.

pub fn iter(&self) -> BitsetIter

Iterate over set bits, yielding each value.

Trait Implementations

impl Clone for BitsetDomain

fn clone(&self) -> BitsetDomain

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for BitsetDomain

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Domain for BitsetDomain

fn restrict_to(&mut self, val: &u32) -> impl Iterator<Item = u32> + use<>

O(1) restrict: clear every bit but val’s in one bitwise AND, instead of the trait default’s O(domain size) iterate-and-clear loop. Returns a BitsetIter (zero-alloc) over the cleared bits.

type Value = u32

The type of individual values in this domain.

fn size(&self) -> usize

Number of values currently in the domain.

fn contains(&self, val: &u32) -> bool

Test membership.

fn remove(&mut self, val: &u32) -> bool

Remove a value from the domain. Returns true if the value was present.

fn add(&mut self, val: &u32)

Add a value back into the domain.

fn values(&self) -> Vec<u32>

Collect all current values into a Vec.

fn iter(&self) -> impl Iterator<Item = u32> + use<>

Iterate over current values without allocating.

fn singleton_value(&self) -> Option<u32>

If the domain is a singleton, return its sole value.

fn is_empty(&self) -> bool

Whether the domain is empty (wipe-out).

fn is_singleton(&self) -> bool

Whether the domain contains exactly one value.

impl PartialEq for BitsetDomain

fn eq(&self, other: &BitsetDomain) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for BitsetDomain