Trait CountableSetSignature 

pub trait CountableSetSignature: SetSignature {
    // Required method
    fn generate_all_elements(&self) -> impl Iterator<Item = Self::Set> + Clone;
}

Required Methods

fn generate_all_elements(&self) -> impl Iterator<Item = Self::Set> + Clone

Yield distinct elements of the set such that every element eventually appears. Always yields elements in the same order.

Dyn Compatibility

This trait is not dyn compatible.

In older versions of Rust, dyn compatibility was called "object safety", so this trait is not object safe.

Implementors

impl CountableSetSignature for EnumeratedFiniteSetStructure

impl CountableSetSignature for SingletonSetStructure

impl<Domain: FiniteSetSignature, Range: EqSignature + FiniteSetSignature> CountableSetSignature for Functions<Domain, Range>

impl<X: FiniteSetSignature + EqSignature> CountableSetSignature for FiniteSetEndofunctions<X>