Trait Lattice 

pub trait Lattice<T> {
    // Required methods
    fn top(&self) -> T;
    fn meet_assign(&self, a: &mut T, b: T) -> bool;
}

Lattice methods for repeated analysis

Required Methods

fn top(&self) -> T

An element greater than all other elements.

fn meet_assign(&self, a: &mut T, b: T) -> bool

Set a to the greatest lower bound of a and b, and indicate if a changed as a result.

Implementors

impl Lattice<Option<EquivalenceClasses>> for EQLattice

impl Lattice<Option<Vec<ReprColumnType>>> for mz_transform::analysis::repr_types::RTLattice

impl Lattice<Option<Vec<SqlColumnType>>> for mz_transform::analysis::types::RTLattice

impl Lattice<bool> for BoolLattice

impl Lattice<Vec<Vec<usize>>> for UKLattice