Method join

src/analysis/numerical/interval_domain.rs:261–274

(&self, rhs: &Self)

    }

    pub fn join(&self, rhs: &Self) -> Self {
        if self.is_bottom() || rhs.is_top() {
            return rhs.clone();
        }
        if rhs.is_bottom() || self.is_top() {
            return self.clone();
        }
        let mut res = Self::top();
        for path in union_paths(self, rhs) {
            let joined = join_interval(&self.var2itv(&path), &rhs.var2itv(&path));
            res.set_interval(&path, joined);
        }
        res
    }

    pub fn meet(&self, rhs: &Self) -> Self {
        if self.is_bottom() || rhs.is_bottom() {