boundlab.prop.bound_width#

boundlab.prop.bound_width(e)[source]#

Compute interval width from concretized bounds.

\[\mathrm{width}(e) = \mathrm{ub}(e) - \mathrm{lb}(e)\]