Method lub

src/analysis/numerical/interval_domain.rs:164–166

(&self, other: &Self)

    }

    fn lub(&self, other: &Self) -> Self {
        self.join(other)
    }

    fn widening_with(&self, other: &Self) -> Self {
        self.widening_with(other)