Struct StateSet 

pub struct StateSet { /* private fields */ }

A set of state indices in 0..capacity.

Implementations

impl StateSet

pub fn new(capacity: usize) -> Self

An empty set able to hold indices 0..capacity.

pub fn capacity(&self) -> usize

The number of indices the set can hold (rounded up to a whole word).

pub fn insert(&mut self, i: usize)

Add i. Indices beyond the capacity grow the set.

pub fn remove(&mut self, i: usize)

Remove i.

pub fn contains(&self, i: usize) -> bool

Whether i is a member.

pub fn is_empty(&self) -> bool

Whether the set is empty.

pub fn len(&self) -> usize

The number of members.

pub fn clear(&mut self)

Remove every member.

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

Add every member of other.

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

Remove every member of other.

pub fn intersects(&self, other: &StateSet) -> bool

Whether the two sets share a member.

pub fn any_in_range(&self, lo: usize, hi: usize) -> bool

Whether any index in lo..=hi is a member.

pub fn to_vec(&self) -> Vec<usize>

Members in ascending order (document order).

pub fn to_vec_rev(&self) -> Vec<usize>

Members in descending order (reverse document order).

Trait Implementations

impl Clone for StateSet

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StateSet

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

Formats the value using the given formatter.

impl Default for StateSet

fn default() -> Self

Returns the “default value” for a type.

impl Eq for StateSet

impl Hash for StateSet

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for StateSet

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for StateSet