Trait Set

pub trait Set {
    type Elem: Eq + Clone;

    // Required method
    fn contains(&self, x: &Self::Elem) -> bool;
}

A set.

The interface is minimal. A set has an element type (Elem) and can check whether values of that type belongs to the set. Sets are not assumed to be finite.

Required Associated Types

type Elem: Eq + Clone

Type of elements of the set.

Elements can be compared for equality, as required by ordinary mathematics. Elements can also be cloned and, in practice, we tend to assume that they can be cheaply cloned.

Required Methods

fn contains(&self, x: &Self::Elem) -> bool

Does the set contain the element x?

Implementors

impl Set for SkelFinSet

type Elem = usize

impl<Cat: Category> Set for ObSet<Cat>

type Elem = <Cat as Category>::Ob

impl<T> Set for AttributedSkelSet<T>

type Elem = usize

impl<T, S> Set for HashFinSet<T, S>

where T: Eq + Clone + Hash, S: BuildHasher,

type Elem = T