mz_transform::analysis

Trait Lattice

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

Lattice methods for repeated analysis

Required Methods§

Source

fn top(&self) -> T

An element greater than all other elements.

Source

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§