Struct Functions 

pub struct Functions<Domain: SetSignature, Range: SetSignature> { /* private fields */ }

Represent all functions from domain to range

Implementations

impl<Domain: SetSignature, Range: SetSignature> Functions<Domain, Range>

pub fn new(domain: Domain, range: Range) -> Self

Trait Implementations

impl<Domain: Clone + SetSignature, Range: Clone + SetSignature> Clone for Functions<Domain, Range>

fn clone(&self) -> Functions<Domain, Range>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

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

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.

impl<Domain: Debug + SetSignature, Range: Debug + SetSignature> Debug for Functions<Domain, Range>

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

Formats the value using the given formatter.

impl<Domain: Eq + SetSignature, Range: Eq + SetSignature> Eq for Functions<Domain, Range>

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

fn list_all_elements(&self) -> Vec<Self::Set>

A list of all elements in the set. Always returns elements in the same order.

fn size(&self) -> usize

fn generate_random_elements(&self, seed: u64) -> impl Iterator<Item = Self::Set>

impl<Domain: PartialEq + SetSignature, Range: PartialEq + SetSignature> PartialEq for Functions<Domain, Range>

fn eq(&self, other: &Functions<Domain, Range>) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl<Domain: FiniteSetSignature, Range: EqSignature> SetSignature for Functions<Domain, Range>

type Set = Vec<<Range as SetSignature>::Set>

fn validate_element(&self, x: &Self::Set) -> Result<(), String>

Some instances of Self::Set may not be valid to represent elements of this set. Return Ok(()) if x is a valid element and an Err explaining why if not.

fn is_element(&self, x: &Self::Set) -> bool

Some instances of Self::Set may not be valid to represent elements of this set. Return true if x is a valid element and an false if not.

impl<Domain: SetSignature, Range: SetSignature> Signature for Functions<Domain, Range>

impl<Domain: PartialEq + SetSignature, Range: PartialEq + SetSignature> StructuralPartialEq for Functions<Domain, Range>