boundlab.ibp.elementwise.Exp#

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

Bases: OpHandler

Exact interval exp: [exp(lb), exp(ub)] (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='exp')#
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.

op: str = 'exp'#
override_handler(other)#

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

overrides: list[type[OpHandler]] = []#