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