Function union_paths

src/analysis/numerical/interval_domain.rs:468–483

(
    lhs: &IntervalAbstractDomain<Type>,
    rhs: &IntervalAbstractDomain<Type>,
)

}

fn union_paths<Type>(
    lhs: &IntervalAbstractDomain<Type>,
    rhs: &IntervalAbstractDomain<Type>,
) -> Vec<Rc<Path>>
where
    Type: NumericalDomainType,
    IntervalAbstractDomain<Type>: GetDomainType,
{
    let mut paths: Vec<Rc<Path>> = lhs.intervals.keys().cloned().collect();
    for path in rhs.intervals.keys() {
        if !paths.contains(path) {
            paths.push(path.clone());
        }
    }
    paths
}

fn interval_leq(lhs: &Interval, rhs: &Interval) -> bool {
    lhs.is_bottom()