Trait CountableSetStructure

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

Required Methods

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

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<Domain: FiniteSetStructure, Range: EqStructure + FiniteSetStructure> CountableSetStructure for Functions<Domain, Range>