Trait mz_transform::analysis::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§