workflow

Module preprocess

Source
Expand description

Defines a preprocessing step on a WIR that simplifies it to increase the support of the simpler checker workflow.

Enums§

  • Error
    Defines errors that may occur when preprocessing a Workflow.

Functions§

  • inline_functions
    Attempts to inline functions in the WIR as much as possible.
  • simplify
    Simplifies the given WIR-workflow as much as possible to increase the compatability with checker workflows.