Struct vec_collections::TotalVecSet

pub struct TotalVecSet<A: Array> { /* fields omitted */ }

A VecSet with an additional flag so it can support negation.

This way it is possible to represent e.g. the set of all u64 except 1.

Implementations

impl<T, A: Array<Item = T>> TotalVecSet<A>

pub fn is_empty(&self) -> bool

pub fn is_all(&self) -> bool

pub fn constant(value: bool) -> Self

pub fn empty() -> Self

pub fn all() -> Self

pub fn shrink_to_fit(&mut self)

impl<T: Ord, A: Array<Item = T>> TotalVecSet<A>

pub fn contains(&self, value: &T) -> bool

pub fn insert(&mut self, that: T)

pub fn is_superset(&self, that: &Self) -> bool

pub fn is_subset(&self, that: &Self) -> bool

pub fn is_disjoint(&self, that: &Self) -> bool

impl<T: Ord + Clone, A: Array<Item = T>> TotalVecSet<A>

pub fn remove(&mut self, that: &T)

Trait Implementations

impl<T: Ord + Clone, A: Array<Item = T>, '_> BitAnd<&'_ TotalVecSet<A>> for &'_ TotalVecSet<A>

type Output = TotalVecSet<A>

The resulting type after applying the & operator.

fn bitand(self, that: Self) -> Self::Output

Performs the & operation.

impl<T: Ord, A: Array<Item = T>> BitAndAssign<TotalVecSet<A>> for TotalVecSet<A>

fn bitand_assign(&mut self, that: Self)

Performs the &= operation.

impl<T: Ord + Clone, A: Array<Item = T>, '_> BitOr<&'_ TotalVecSet<A>> for &'_ TotalVecSet<A>

type Output = TotalVecSet<A>

The resulting type after applying the | operator.

fn bitor(self, that: Self) -> Self::Output

Performs the | operation.

impl<T: Ord, A: Array<Item = T>> BitOrAssign<TotalVecSet<A>> for TotalVecSet<A>

fn bitor_assign(&mut self, that: Self)

Performs the |= operation.

impl<T: Ord + Clone, A: Array<Item = T>, '_> BitXor<&'_ TotalVecSet<A>> for &'_ TotalVecSet<A>

type Output = TotalVecSet<A>

The resulting type after applying the ^ operator.

fn bitxor(self, that: Self) -> Self::Output

Performs the ^ operation.

impl<T: Ord, A: Array<Item = T>> BitXorAssign<TotalVecSet<A>> for TotalVecSet<A>

fn bitxor_assign(&mut self, that: Self)

Performs the ^= operation.

impl<T: Clone, A: Array<Item = T>> Clone for TotalVecSet<A>

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<T: Debug, A: Array<Item = T>> Debug for TotalVecSet<A>

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

Formats the value using the given formatter.

impl<T: Eq, A: Array<Item = T>> Eq for TotalVecSet<A>

impl<T, A: Array<Item = T>> From<VecSet<A>> for TotalVecSet<A>

fn from(value: VecSet<A>) -> Self

Performs the conversion.

impl<T, A: Array<Item = T>> From<bool> for TotalVecSet<A>

fn from(value: bool) -> Self

Performs the conversion.

impl<T: Hash, A: Array<Item = T>> Hash for TotalVecSet<A>

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, 

Feeds a slice of this type into the given Hasher.

impl<T: Ord + Clone, A: Array<Item = T>, '_> Not for &'_ TotalVecSet<A>

type Output = TotalVecSet<A>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<T: Ord, A: Array<Item = T>> Not for TotalVecSet<A>

type Output = TotalVecSet<A>

The resulting type after applying the ! operator.

fn not(self) -> Self::Output

Performs the unary ! operation.

impl<T: PartialEq, A: Array<Item = T>> PartialEq<TotalVecSet<A>> for TotalVecSet<A>

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

This method tests for self and other values to be equal, and is used by ==.

#[must_use]fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl<T: Ord + Clone, A: Array<Item = T>, '_> Sub<&'_ TotalVecSet<A>> for &'_ TotalVecSet<A>

type Output = TotalVecSet<A>

The resulting type after applying the - operator.

fn sub(self, that: Self) -> Self::Output

Performs the - operation.

impl<T: Ord, A: Array<Item = T>> SubAssign<TotalVecSet<A>> for TotalVecSet<A>

fn sub_assign(&mut self, that: Self)

Performs the -= operation.