Module: oryx.core.interpreters.inverse

Module for the inverse function transformation.

Modules

core module: Core logic for the inverse transformation.

custom_inverse module: Contains logic for defining custom inverses for functions.

rules module: Registers inverse and ILDJ rules.

slice module: Contains slice abstractions used in function inversion.