org.sat4j.specs
Class TimeoutException

java.lang.Object
  extended by java.lang.Throwable
      extended by java.lang.Exception
          extended by org.sat4j.specs.TimeoutException
All Implemented Interfaces:
java.io.Serializable

public class TimeoutException
extends java.lang.Exception

Exception launched when the solver cannot solve a problem within its allowed time. Note that the name of that exception is subject to change since a TimeoutException must also be launched by incomplete solvers to reply "Unknown".

Author:
leberre
See Also:
Serialized Form

Constructor Summary
TimeoutException()
          Constructor for TimeoutException.
TimeoutException(java.lang.String message)
          Constructor for TimeoutException.
TimeoutException(java.lang.String message, java.lang.Throwable cause)
          Constructor for TimeoutException.
TimeoutException(java.lang.Throwable cause)
          Constructor for TimeoutException.
 
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
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

TimeoutException

public TimeoutException()
Constructor for TimeoutException.


TimeoutException

public TimeoutException(java.lang.String message)
Constructor for TimeoutException.

Parameters:
message - the error message

TimeoutException

public TimeoutException(java.lang.String message,
                        java.lang.Throwable cause)
Constructor for TimeoutException.

Parameters:
message - the error message
cause - the cause of the exception

TimeoutException

public TimeoutException(java.lang.Throwable cause)
Constructor for TimeoutException.

Parameters:
cause - the cause of the exception


Copyright © 2009 Centre de Recherche en Informatique de Lens (CRIL). All Rights Reserved.