Documentation

Lean.InternalExceptionId

Internal exception identifier

Instances For

    Internal exceptions registered in the system.

    Register a new internal exception in the system. Each internal exception has a unique index. Throw an exception if the given name is not unique. This method is usually invoked using the initialize command.

    Equations
    • One or more equations did not get rendered due to their size.
    Instances For

      Convert internal exception id into the message "internal exception #<idx>"

      Equations
      Instances For

        Retrieve the name used to register the internal exception.

        Equations
        Instances For