boundlab.zono.linearizers.linearizer_fn

boundlab.zono.linearizers.linearizer_fn(op)

Wrap a bounds function (lb, ub) -> LinearBounds as the zonotope handler for op; also callable directly on bounds (and optionally an expression) for reuse by other domains.