boundlab.diff.zono3.DiffRelu#

class boundlab.diff.zono3.DiffRelu#

Bases: OpHandler

Differential ReLU bounds for a (x, y, d) triple.

Methods

`__init__`
`condition`	Whether this handler applies to these operands (default: always).
`handle`	Transform the operands; sub-operations go through `interp.<op>` so the enclosing domain's handlers apply to them too.
`override_handler`	A copy of this handler that takes precedence over `other` when both are ready for the same call.

__call__(x_lbub, y_lbub, d_lbub)#

Call self as a function.

__init__(op='relu', domain=<class 'boundlab.zono.Zono'>, tighten=True, fallback=None)#

condition(x, **kwargs)#

Whether this handler applies to these operands (default: always).

handle(interp, x, **kwargs)#

Transform the operands; sub-operations go through interp.<op> so the enclosing domain’s handlers apply to them too.

override_handler(other)#

A copy of this handler that takes precedence over other when both are ready for the same call.