interval_domain.py 文件源码

def _widening(self, other: 'IntervalLattice') -> 'IntervalLattice':
        """``[a, b] ? [c, d] = [(c < a? -oo : a), (b < d? +oo : b)]``."""
        lower = self.lower
        upper = self.upper
        if other.lower < self.lower:
            lower = -inf
        if self.upper < other.upper:
            upper = inf
        return self.replace(IntervalLattice(lower, upper))

    # arithmetic operations