public class TimeoutException extends ApronException
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.
funid, manager
Constructor and Description |
---|
TimeoutException() |
TimeoutException(java.lang.String msg,
Manager man,
int fid) |
getFunctionID, getManager
public TimeoutException()
public TimeoutException(java.lang.String msg, Manager man, int fid)