boundlab.ibp.elementwise.Relu#

class boundlab.ibp.elementwise.Relu[source]#

Bases: OpHandler

Exact interval ReLU: [max(lb, 0), max(ub, 0)] (monotone).

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__(lb, ub)#

Call self as a function.

__init__(op='relu')#

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.