Package apron

Class TimeoutException

All Implemented Interfaces:
Serializable

public class TimeoutException extends ApronException
Exception thrown by an abstract transfer function when the timeout is exceeded.

The timeout is set by Manager.setTimeout(int, int), on a per-function, per-manager basis. There is no timeout by default.

Note: timeouts are not currently implemented.

See Also:
  • Constructor Details

    • TimeoutException

      public TimeoutException()
    • TimeoutException

      public TimeoutException(String msg, Manager man, int fid)