Trait lattices::LatticeMorphism

pub trait LatticeMorphism<LatIn> {
    type Output;

    // Required method
    fn call(&mut self, lat_in: LatIn) -> Self::Output;
}

Semilattice morphism. Lattice merge must distribute over this unary function.

Use crate::test::check_lattice_morphism to spot-test an implementation.

See the lattice math doc’s lattice morphism section.

Required Associated Types

type Output

The output lattice type.

Required Methods

fn call(&mut self, lat_in: LatIn) -> Self::Output

Executes the function.

Implementors