kodkod.engine
Class TimeoutException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by kodkod.engine.TimeoutException
All Implemented Interfaces:
java.io.Serializable

public final class TimeoutException
extends java.lang.Exception

Thrown when a computation is terminated due to running out of time.

Author:
Emina Torlak
See Also:
Serialized Form

Constructor Summary
TimeoutException()
           
TimeoutException(java.lang.String arg0)
           
TimeoutException(java.lang.String arg0, java.lang.Throwable arg1)
           
TimeoutException(java.lang.Throwable arg0)
           
 
Method Summary
 
Methods inherited from class java.lang.Throwable
fillInStackTrace, getCause, getLocalizedMessage, getMessage, getStackTrace, initCause, printStackTrace, printStackTrace, printStackTrace, setStackTrace, toString
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TimeoutException

public TimeoutException()

TimeoutException

public TimeoutException(java.lang.String arg0)

TimeoutException

public TimeoutException(java.lang.String arg0,
                        java.lang.Throwable arg1)

TimeoutException

public TimeoutException(java.lang.Throwable arg0)