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.

pub fn empty() -> Self

Create an empty bitset domain.

pub fn range(n: u32) -> Self

Create a domain containing 0..n.

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

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>

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for BitsetDomain