Struct Set 

pub struct Set<T: ?Sized>(/* private fields */);

A (possibly infinite) set type.

Implementations

impl<T: ?Sized> Set<T>

pub fn empty() -> Self

The empty set.

pub fn from_predicate(_: Mapping<T, bool>) -> Self

Build a set from a predicate, given as a Mapping.

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

Returns true if e is in the set.

(open, inline)

Self::mem(e, self)

pub fn insert(self, e: T) -> Self

Returns a new set, where e has been added if it was not present.

(open, inline)

Self::add(e, self)

pub fn is_empty(self) -> bool

Returns true if the set contains no elements.

pub fn remove(self, a: T) -> Self

Returns a new set, where e is no longer present.

(open, inline)

Self::rem(a, self)

pub fn union(self, _: Self) -> Self

Returns a new set, which is the union of self and other.

An element is in the result if it is in self or if it is in other.